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.
YouTube Encyclopedic
-
1/3Views:359483599
-
Computer Science, Math, and ICT—Where Does Programming Fit?: Alan Mycroft
-
Polished is Not Good for Education - Alan Mycroft, Raspberry Pi | You Tube
-
Alan Mycroft talks about Raspberry Pi at CAS 2012
Transcription
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.
| International | |
|---|---|
| National | |
| Academics | |
| Other | |
 | This biography article of a United Kingdom academic is a stub. You can help Wikipedia by expanding it. |
 | This article about a British scientist is a stub. You can help Wikipedia by expanding it. |
This page was last edited on 22 January 2024, at 14:15