Alan Mycroft

MathSciNet


Ph.D. University of Edinburgh 1982 UnitedKingdom
Dissertation: Abstract Interpretation and Optimising Transformations for Applicative Programs

Advisor 1: Rodney Martineau Burstall
Advisor 2: Robin Milner

Students:
Click here to see the students listed in chronological order.

NameSchoolYearDescendants
Bierman, GavinUniversity of Cambridge19944
Kennedy, AndrewUniversity of Cambridge1996
Lokhmotov, AntonUniversity of Cambridge2008
Orchard, DominicUniversity of Cambridge2013
Srinivasan, SriramUniversity of Cambridge2010
Vafeiadis, ViktorUniversity of Cambridge2007

According to our current on-line database, Alan Mycroft has 6 students and 9 descendants.
We welcome any additional information.

If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 104629 for the advisor ID.