1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
|
---
layout: post
title: my special corner of the web
---
<div id="intro">
<img id="face" src="assets/compass.jpg"/>
<div id="profile">
<p> Hi! I'm JJ. I go by apropos (among other names) on the Internet. </p>
<p> I'm a fourth-year student at the <a href="https://ubc.ca">University of British Columbia</a>, flag hunter for <a href="https://maplebacon.org">Maple Bacon</a>, <a href="https://ums-ubc.com">mathematics</a>, <a href="https://toki.la/wiki/linguistics">linguistics</a>, and <a href="https://ncatlab.org/nlab/show/type+theory">type theory</a> aficionado, <span title="yes this is a pun">total language nerd</span>, and occasional ultimate frisbee player. </p>
<p> Outside of school, sports, and social life, I enjoy building and contributing to <a href="https://www.gnu.org/philosophy/free-sw">free-and-open-source</a> projects. The majority of my work can either be found on <a href="https://github.com/omentic">GitHub</a> or <a href="https://git.toki.la">here on my website</a>. </p>
</div>
</div>
<div id="details">
<h2> research </h2>
<p>
I am particularly interested in <i>language</i> and its relation to <i>meaning</i>.<br>
This manifests itself in various different fashions in different fields.
</p>
<ul>
<li>
In linguistics: I'm interested in the <b>syntax-semantics interface</b>: in more philosophical terms, how <i>sense</i> informs <i>denotation</i>, and how <i>denotation</i> informs <i>sense</i>. I am particularly interested in this with respect to types and their connection to intuitionistic logic via <b>Curry-Howard</b>.
</li>
<li>
In computer science: I care about <b>language interoperability</b>: the preservation of meaning across languages with differing types systems, operational semantics, and conventions. Alongside this, I have recently also developed an interest in <b>effects-and-handlers systems</b>: finding interest in their use as a unification of <i>non-local control flow</i>.
</li>
<li>
In mathematics: I have a particular interest in <b>foundations</b> and <b>category theory</b>: and how they inform what we <i>mean</i> by proof. This in turn has manifested an interest in theorem provers and <b>proof mechanization</b>.
</li>
</ul>
<p> I am actively looking for a research position on this topic, to start Sep. 2025. If you know a professor who is hiring students or interns for any of the above, please send me an email! </p>
</div>
|
