summaryrefslogtreecommitdiff
path: root/index.html
diff options
context:
space:
mode:
authorJJ2024-07-27 01:29:27 +0000
committerJJ2024-07-27 01:29:27 +0000
commit5eefe40312d677ec929833f237b81584f5b3ae5b (patch)
tree77140068ca45e993d4c2d20ef8c06f1cc57a4bbf /index.html
parentabbe9f4cdb9f08549c96b3188605db683c17fd27 (diff)
remove CNAME & update index
Diffstat (limited to 'index.html')
-rw-r--r--index.html1
1 files changed, 0 insertions, 1 deletions
diff --git a/index.html b/index.html
index 7aaff38..820e431 100644
--- a/index.html
+++ b/index.html
@@ -28,5 +28,4 @@ title: my special corner of the web
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, 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>