index.html


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

---
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 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 <a href="https://en.wikipedia.org/wiki/Curry–Howard_correspondence">Curry-Howard</a>.
		</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.
		</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 proof mechanization.
		</li>
	</ul>
</div>