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
All followers
mdales.tngl.sh
Planetary Computing Fellow at the University of Cambridge, a computer scientist working alongside ecologists to tackle biodiversity and climate analysis
dunhamsteve.bsky.social
Programmer and father of two. Currently dabbling in dependent type theory.
