liamoc.net

PUNCHCARD 0 commits

ALL FOLLOWERS

0 followers 6 following

1 followers 3 following

I am an Associate Professor in Logical Foundations and Formal Methods at the University of Cambridge, and a Fellow of Clare College.

10 followers 7 following

1 followers 1 following