summaryrefslogtreecommitdiff
path: root/index.html
diff options
context:
space:
mode:
authorJJ2024-09-04 06:21:22 +0000
committerJJ2024-09-04 06:21:22 +0000
commitffd5a8afc3decdf1d40f4d42230e5b6d06791a56 (patch)
tree6f193a8c2d2eed6183fa172ea734423c0642b041 /index.html
parent5d38fcaa1fb994bec9907a660f794eab08fc7b1d (diff)
ask for a job
Diffstat (limited to 'index.html')
-rw-r--r--index.html9
1 files 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>