About Jon Sterling

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.

{n, plural, =1 {List} other {Lists}}

Timeline

{username} has no activity yet