J
jonmsterling@mathstodon.xyz
@jonmsterling@mathstodon.xyz
I am an Associate Professor in Logical Foundations and Formal Methods at the University of Cambridge, and a Fellow of Clare College.
I like categories, domains, and vintage computing.
Omdømme
0
Profil visninger
1
Oprettet
Sidst online
Web site
www.jonmsterling.com
Departmental page
www.cst.cam.ac.uk/people/js2878