jonmsterling.com
I am an Associate Professor in Logical Foundations and Formal Methods at the University of Cambridge, and a Fellow of Clare College.
Cambridge, United Kingdom
Punchcard 0 commits
Activity
This month
Created 1 repository
2 months ago
Created 1 repository
project-pterodactyl
Swift