No posts to display
Welcome to Jon Sterling spacestr profile!
About Me
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.
Interests
- No interests listed.
Videos
Music
My store is coming soon!
