From ffd5a8afc3decdf1d40f4d42230e5b6d06791a56 Mon Sep 17 00:00:00 2001
From: JJ
Date: Tue, 3 Sep 2024 23:21:22 -0700
Subject: ask for a job

---
 index.html | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

diff --git a/index.html b/index.html
index 820e431..37fffdb 100644
--- a/index.html
+++ b/index.html
@@ -15,17 +15,18 @@ title: my special corner of the web
 	<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.
+		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 <a href="https://en.wikipedia.org/wiki/Curry–Howard_correspondence">Curry-Howard</a>.
+			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.
+			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 proof mechanization.
+			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>
-- 
cgit v1.2.3-70-g09d2