diff options
| author | JJ | 2024-07-25 19:22:07 +0000 |
|---|---|---|
| committer | JJ | 2024-07-25 19:22:07 +0000 |
| commit | e9dd9fada06fa7ea743238e23d3ffdfcb5f1a56c (patch) | |
| tree | 607d506f7fac9d4edb24252e724d091299efe86f /index.html | |
| parent | c0862d44ac207e4584721017043d61e2dd993096 (diff) | |
add back syntax highlighting
Diffstat (limited to 'index.html')
| -rw-r--r-- | index.html | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -12,7 +12,7 @@ title: my special corner of the web </div> </div> <div id="details"> - <h2> Research </h2> + <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. @@ -25,8 +25,8 @@ title: my special corner of the web 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>. + 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> - <p> I am actively looking for a research position on this topic, starting Sep. 2025. If you know a professor who is hiring students and working on any of the above, please send me an email! </p> + <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 and working on any of the above, please send me an email! </p> </div> |