summaryrefslogtreecommitdiff
path: root/index.html
diff options
context:
space:
mode:
Diffstat (limited to 'index.html')
-rw-r--r--index.html6
1 files changed, 3 insertions, 3 deletions
diff --git a/index.html b/index.html
index 6cb2f5b..7aaff38 100644
--- a/index.html
+++ b/index.html
@@ -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>