Michael Benjamin Gale

I am a PhD student in the Computer Laboratory at the University of Cambridge where I am working on Rich types for system programming languages under the supervision of Alan Mycroft. I am a member of Darwin College.

My general research interests focus around functional programming, compilers and the design of programming languages, including their type systems. I am also interested in program correctness and optimisation.

I was previously an undergraduate student in the School of Computer Science at the University of Nottingham. If you are currently a student there, you may be looking for my G52MAL revision guide or the Guru Programme.

Recent Papers



Email: michael.gale@cl.cam.ac.uk
Phone: +44 (0)1223 763773
Address: Mr Michael Benjamin Gale
Computer Laboratory, University of Cambridge
William Gates Building
15 JJ Thomson Avenue
Cambridge CB3 0FD
United Kingdom
Office: FC13

If you know me in person and you have not done so yet, feel free to add me on Facebook. I also have profiles on GitHub, LinkedIn, Google+, and Twitter which I update more or less frequently. If you are a redditor, you may be interested in joining /r/UoN which I founded in 2011.