 Alan Mycroft

Alan Mycroft is a professor at the Computer Laboratory, University of Cambridge and a Fellow of Robinson College, Cambridge, where he is also director of studies for computer science.Mycroft read Mathematics at Cambridge then moved to Edinburgh where he completed his Doctor of Philosophy degree with a thesis on the Abstract interpretation and optimising transformations for applicative programs supervised by Rod Burstall and Robin Milner.