diff options
Diffstat (limited to 'index.html')
| -rw-r--r-- | index.html | 9 |
1 files changed, 5 insertions, 4 deletions
@@ -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> |