dunhamsteve.bsky.social
he/him
Programmer and father of two. Currently dabbling in dependent type theory.
Seattle, WA, US
PUNCHCARD 80 commits
ALL FOLLOWING
jonmsterling.com
I am an Associate Professor in Logical Foundations and Formal Methods at the University of Cambridge, and a Fellow of Clare College.