Alan Mycroft

Alan Mycroft
Fields	Programming languages Compilation Static Analysis[1]
Institutions	University of Cambridge Computer Laboratory Raspberry Pi Foundation
Alma mater	University of Cambridge (BA, MA, ScD) University of Edinburgh (PhD)
Thesis	Abstract interpretation and optimising transformations for applicative programs (1982)
Doctoral advisor	Rod Burstall Robin Milner[2]
Doctoral students	Gavin Bierman[3] Michael B. Gale Andrew Kennedy[4] Alan Lawrence[5] Anton Lokhmotov[6] Dominic Orchard[7] Sriram Srinivasan[8][9][10]
Known for	Norcroft C compiler Raspberry Pi Foundation
Children	Christopher Mycroft Richard Mycroft Sarah Mycroft William Mycroft
Website www.cl.cam.ac.uk/users/am

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.

Education

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^[2] supervised by Rod Burstall and Robin Milner.

Research

Mycroft's research interests^{[11][12][13][14][1]} are in Programming Languages, Software Engineering and Algorithms.^{[15][16][17][18]}

With Arthur Norman, he co-created the Norcroft C compiler.^[19] 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.^[20]

Personal Life

Mycroft has four children: Christopher, Richard, Sarah and William. His daughter is a medical doctor,^[21] and his three sons have followed him into mathematics; Richard as a Lecturer in Mathematics at the University of Birmingham^[22] and William as a recently started PhD student at the University of Sheffield.^[23]

References

1. Alan Mycroft's publications indexed by Google Scholar, a service provided by Google
2. Mycroft, Alan (1982). Abstract interpretation and optimising transformations for applicative programs (PhD thesis). University of Edinburgh. OCLC 10271733.
3. Bierman, Gavin Mark (1993). On intuitionistic linear logic (PhD thesis). University of Cambridge. OCLC 855137714.
4. Kennedy, Andrew John (1995). Programming languages and dimensions (PhD thesis). University of Cambridge. OCLC 35674839.
5. Lawrence, Alan Charles (2007). Optimizing compilation with the Value State Dependence Graph (PDF) (PhD thesis). University of Cambridge. OCLC 890153987.
6. Lokhmotov, Anton (2008). Programming and compiling for embedded SIMD architectures (PDF) (PhD thesis). University of Cambridge. OCLC 890154536.
7. Orchard, Dominic (2014). Programming contextual computations (PDF) (PhD thesis). University of Cambridge.
8. Srinivasan, Siriam (2010). Kilim : a server framework with lightweight actors isolation types zero-copy messaging (PhD thesis). University of Cambridge. OCLC 890149134.
9. Srinivasan, S.; Mycroft, A. (2008). "Kilim: Isolation-Typed Actors for Java". ECOOP 2008 – Object-Oriented Programming. Lecture Notes in Computer Science 5142. p. 104. doi:10.1007/978-3-540-70592-5_6. ISBN 978-3-540-70591-8.
10. Alan Mycroft at the Mathematics Genealogy Project
11. List of publications from Microsoft Academic Search
12. Alan Mycroft's publications indexed by the DBLP Bibliography Server at the University of Trier
13. Alan Mycroft from the Association for Computing Machinery (ACM) Digital Library
14. Alan Mycroft's publications indexed by the Scopus bibliographic database, a service provided by Elsevier.
15. 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.
16. Mycroft, A. (1984). "Polymorphic type schemes and recursive definitions". 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.
17. Mycroft, A. (1980). "The theory and practice of transforming call-by-need into call-by-value". 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.
18. Nethercote, N.; Mycroft, A. (2003). "Redux". Electronic Notes in Theoretical Computer Science 89 (2): 149. doi:10.1016/S1571-0661(04)81047-8.
19. Mycroft, Alan; Norman, Arthur C. (1992). "Part I: classical imperative languages". Optimising compilation. Cambridge, UK: University of Cambridge, Computer Laboratory. OCLC 29982690. CiteSeerX: 10.1.1.43.9953. […] the 'Norcroft' compiler suite jointly constructed by the authors […] Commercial interests are referred to Codemist Ltd. […]
20. 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.
21. "Dr Sarah Mycroft".
22. "Dr Richard Mycroft – University of Birmingham".
23. "William Mycroft – University of Sheffield".