Alan Mycroft

From Wikipedia, the free encyclopedia
Jump to: navigation, search
Alan Mycroft
Institutions University of Cambridge
Computer Laboratory
Alma mater University of Edinburgh
University of Cambridge
Thesis Abstract interpretation and optimising transformations for applicative programs (1982)
Doctoral advisor Rod Burstall
Robin Milner[1]
Doctoral students Gavin Bierman
Andrew Kennedy
Anton Lokhmotov[2]
Sriram Srinivasan[3]
Known for Norcroft C compiler
Raspberry Pi Foundation

Alan Mycroft is a professor at the Computer Laboratory, University of Cambridge. He is 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[1] supervised by Rod Burstall and Robin Milner.


Mycroft's research interests[4][5][6][7][8] are in Programming Languages, Software Engineering and Algorithms.[9][10][11]

With Arthur Norman, he co-created the Norcroft C compiler.[12] He is also a named trustee of the Raspberry Pi Foundation, a charitable organisation whose single-board computer is intended to stimulate the teaching of basic computer science in schools.[13]

Family Life[edit]

Mycroft has four children: Christopher, Richard, Sarah and William. His three sons have followed him into mathematics, Richard as a Lecturer in Mathematics at the University of Birmingham[14] and William as a recently started PhD student at Sheffield University.[15]


  1. ^ a b Mycroft, Alan (1982). Abstract interpretation and optimising transformations for applicative programs (PhD thesis). University of Edinburgh. 
  2. ^ Lokhmotov, Anton (2008). Programming and compiling for embedded SIMD architectures (PhD thesis). University of Cambridge. 
  3. ^ Alan Mycroft at the Mathematics Genealogy Project
  4. ^ List of publications from Microsoft Academic Search
  5. ^ List of publications from the DBLP Bibliography Server
  6. ^ Alan Mycroft from the ACM Portal
  7. ^ Alan Mycroft from the Scopus bibliographic database.
  8. ^ List of publications from Google Scholar
  9. ^ Mycroft, A.; O'Keefe, R. A. (1984). "A polymorphic type system for prolog". Artificial Intelligence 23 (3): 295. doi:10.1016/0004-3702(84)90017-1.  edit
  10. ^ Mycroft, A. (1984). "International Symposium on Programming". Lecture Notes in Computer Science 167. pp. 217–228. doi:10.1007/3-540-12925-1_41. ISBN 978-3-540-12925-7.  |chapter= ignored (help) edit
  11. ^ Mycroft, A. (1980). "International Symposium on Programming". Lecture Notes in Computer Science 83. pp. 269–281. doi:10.1007/3-540-09981-6_19. ISBN 978-3-540-09981-9.  |chapter= ignored (help) edit
  12. ^ Mycroft, Alan; Norman, Arthur C. (1992). "Part I: classical imperative languages". Optimising compilation. Cambridge, UK: University of Cambridge, Computer Laboratory. OCLC 29982690. CiteSeerX: [...] the 'Norcroft' compiler suite jointly constructed by the authors [...] Commercial interests are referred to Codemist Ltd. [...] 
  13. ^ Bush, Steve (2011-05-26). "In depth: Raspberry Pi, the computer on a stick". Electronics Weekly. Retrieved 2011-07-11. The Raspberry Pi developers and trustees of its Foundation are: David Braben - Founder of games software firm Frontier Developments and co-author of 'Elite'. Jack Lang - Business angel, early Acorn employee, founder of Cambridge start-ups. Pete Lomas - Founder and MD of Norcott Technologies. Robert Mullins - University of Cambridge Computer Laboratory and St. John's College, Cambridge. Alan Mycroft - Professor of Computing in University of Cambridge Computer Laboratory Eben Upton - Engineer at Broadcom Europe, founder of software start-ups, and former director of computer science at St. John's College, Cambridge. 
  14. ^ "Dr Richard Mycroft - University of Birmingham". 
  15. ^ "William Mycroft - University of Sheffield".