Michael Benjamin Gale

michael.gale@cl.cam.ac.uk
+44 (0)1223 763773

Computer Laboratory,
University of Cambridge
William Gates Building
15 JJ Thomson Avenue
Cambridge CB3 0FD
United Kingdom
FC13

I am a PhD student at the Computer Laboratory of the University of Cambridge where I am working on Programming with effect hierarchies under the supervision of Alan Mycroft. I am a member of Darwin College.

My 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.

Recent publications

Talks

On the Web

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.