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 Cambridge19945
Kennedy, AndrewUniversity of Cambridge1996
Lokhmotov, AntonUniversity of Cambridge2008
McDermott, DylanUniversity of Cambridge2020
Orchard, DominicUniversity of Cambridge2013
Srinivasan, SriramUniversity of Cambridge2010
Vafeiadis, ViktorUniversity of Cambridge20071

According to our current on-line database, Alan Mycroft has 7 students and 11 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.