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.
- The Deterministic Dendritic Cell Algorithm Cookbook - 4 December 2013
- A compiler for Cada - 20 May 2013
- What should I wear? Parametric polymorphism and its decidability - 1 May 2013
- Solving an existential crisis in Haskell (BCTCS'14) - 10 April 2014
|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
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.