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 252 commits

ALL FOLLOWING

4 followers 1 following

Programmer and father of two. Currently dabbling in dependent type theory.

1 followers 1 following

1 followers 3 following

7 followers 6 following

8 followers 2 following

9 followers 6 following

5 followers 3 following