Alan Mycroft
Alan Mycroft | |
---|---|
Alma mater |
|
Känd för | |
Barn | 4 |
Vetenskaplig karriär | |
Fält | |
institutioner | |
Avhandling | Abstrakt tolkning och optimering av transformationer för applikativa program ( 1982) |
Doktorand rådgivare | |
Hemsida |
Alan Mycroft är professor vid Computer Laboratory, University of Cambridge och Fellow vid Robinson College, Cambridge , där han också är studierektor för datavetenskap .
Utbildning
Mycroft läste matematik vid Cambridge flyttade sedan till Edinburgh där han avslutade sin doktorsexamen i filosofi med en avhandling om abstrakt tolkning och optimering av transformationer för applikativa program övervakade av Rod Burstall och Robin Milner .
Forskning
Mycrofts forskningsintressen är programmeringsspråk , mjukvaruteknik och algoritmer .
Tillsammans med Arthur Norman skapade han Norcroft C-kompilatorn . Han är också en namngiven förvaltare av Raspberry Pi Foundation , en välgörenhetsorganisation vars enkortsdator är avsedd att stimulera undervisningen i grundläggande datavetenskap i skolor.
Privatliv
Mycroft har fyra barn. [ citat behövs ]