Michael Rawson

Cambridge, United Kingdom

I'm a student at Robinson College, Cambridge. I like maths and theoretical computer science, especially types and functional programming.