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