Michael B. Gale

+44 (0)1223 763773

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

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


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.