Alan Mycroft
Alan Mycroft | |
---|---|
Alma mater |
|
Known for | |
Children | 4 |
Scientific career | |
Fields | |
Institutions | |
Thesis | Abstract interpretation and optimising transformations for applicative programs (1982) |
Doctoral advisor | |
Website | www |
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 Abstract interpretation and optimising transformations for applicative programs[2] supervised by Rod Burstall and Robin Milner.
Research
Mycroft's research interests[3][4][5][6][1] are in programming languages, software engineering and algorithms.[7][8][9][10]
With Arthur Norman, he co-created the Norcroft C compiler.[11] 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.[12]
Personal life
Mycroft has four children.[citation needed]
References
- ^ a b Alan Mycroft publications indexed by Google Scholar
- ^ a b Mycroft, Alan (1982). Abstract interpretation and optimising transformations for applicative programs (PhD thesis). University of Edinburgh. OCLC 10271733.
- ^ Alan Mycroft publications indexed by Microsoft Academic
- ^ Alan Mycroft at DBLP Bibliography Server
- ^ Alan Mycroft author profile page at the ACM Digital Library
- ^ Alan Mycroft's publications indexed by the Scopus bibliographic database. (subscription required)
- ^ 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.
- ^ Mycroft, A. (1984). "Polymorphic type schemes and recursive definitions". International Symposium on Programming. Lecture Notes in Computer Science. Vol. 167. pp. 217–228. doi:10.1007/3-540-12925-1_41. ISBN 978-3-540-12925-7.
- ^ 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. Vol. 83. pp. 269–281. doi:10.1007/3-540-09981-6_19. ISBN 978-3-540-09981-9.
- ^ Nethercote, N.; Mycroft, A. (2003). "Redux". Electronic Notes in Theoretical Computer Science. 89 (2): 149. doi:10.1016/S1571-0661(04)81047-8.
- ^ Mycroft, Alan; Norman, Arthur C. (1992). "Part I: classical imperative languages". Optimising compilation. Cambridge, UK: University of Cambridge, Computer Laboratory. CiteSeerX 10.1.1.43.9953. OCLC 29982690.
[…] the 'Norcroft' compiler suite jointly constructed by the authors […] Commercial interests are referred to Codemist Ltd. […]
- ^ Bush, Steve (26 May 2011). "In depth: Raspberry Pi, the computer on a stick". Electronics Weekly. Retrieved 11 July 2011.
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.
- Pages containing links to subscription-only content
- Articles with short description
- Short description is different from Wikidata
- EngvarB from December 2017
- Use dmy dates from December 2017
- Articles with hCards
- All articles with unsourced statements
- Articles with unsourced statements from July 2018
- Articles with ISNI identifiers
- Articles with VIAF identifiers
- Articles with WorldCat Entities identifiers
- Articles with BNF identifiers
- Articles with BNFdata identifiers
- Articles with J9U identifiers
- Articles with KBR identifiers
- Articles with LCCN identifiers
- Articles with NKC identifiers
- Articles with NLK identifiers
- Articles with NTA identifiers
- Articles with ACM-DL identifiers
- Articles with DBLP identifiers
- Articles with Google Scholar identifiers
- Articles with MATHSN identifiers
- Articles with MGP identifiers
- Articles with ORCID identifiers
- Articles with Scopus identifiers
- Articles with ZBMATH identifiers
- Articles with SUDOC identifiers
- Living people
- British computer scientists
- Fellows of Robinson College, Cambridge
- Alumni of the University of Edinburgh
- Year of birth missing (living people)
- Fellows of St John's College, Cambridge
- All stub articles
- British academic biography stubs
- British scientist stubs
- Computer scientist stubs