PUNCHCARD 0 commits
ALL FOLLOWERS
jonmsterling.com
I am an Associate Professor in Logical Foundations and Formal Methods at the University of Cambridge, and a Fellow of Clare College.
PUNCHCARD 0 commits
ALL FOLLOWERS
I am an Associate Professor in Logical Foundations and Formal Methods at the University of Cambridge, and a Fellow of Clare College.