Alan Mycroft es profesor en el Laboratorio de Computación de la Universidad de Cambridge y miembro del Robinson College de Cambridge , donde también es director de estudios de informática .
Alan Mycroft | |
---|---|
alma mater |
|
Conocido por | |
Niños | 4 |
Carrera científica | |
Campos | |
Instituciones | |
Tesis | Interpretación abstracta y optimización de transformaciones para programas aplicativos (1982) |
Asesor de doctorado | |
Sitio web | www |
Educación
Mycroft leyó Matemáticas en Cambridge y luego se mudó a Edimburgo, donde completó su título de Doctor en Filosofía con una tesis sobre interpretación abstracta y optimización de transformaciones para programas aplicativos [2] supervisados por Rod Burstall y Robin Milner .
Investigar
Los intereses de investigación de Mycroft [3] [4] [5] [6] [1] son los lenguajes de programación , la ingeniería de software y los algoritmos . [7] [8] [9] [10]
Con Arthur Norman , él co-creó el compilador de C Norcroft . [11] También es un administrador designado de la Raspberry Pi Foundation , una organización benéfica cuya computadora de placa única está destinada a estimular la enseñanza de la informática básica en las escuelas. [12]
Vida personal
Mycroft tiene cuatro hijos. [ cita requerida ]
Referencias
- ^ a b Publicaciones de Alan Mycroft indexadas por Google Scholar
- ↑ a b Mycroft, Alan (1982). Interpretación abstracta y optimización de transformaciones para programas aplicativos (tesis doctoral). Universidad de Edimburgo. OCLC 10271733 .
- ^ Lista de publicaciones de Microsoft Academic
- ^ Alan Mycroft en elservidor de bibliografía DBLP
- ^ Página de perfil de autor de Alan Mycroft en laBiblioteca digital de ACM
- ^ Publicaciones de Alan Mycroft indexadas por labase de datos bibliográfica Scopus . (requiere suscripción)
- ^ Mycroft, A .; O'Keefe, RA (1984). "Un sistema de tipo polimórfico para prolog". Inteligencia artificial . 23 (3): 295. doi : 10.1016 / 0004-3702 (84) 90017-1 .
- ^ Mycroft, A. (1984). "Esquemas de tipo polimórfico y definiciones recursivas". Simposio Internacional de Programación . Apuntes de conferencias en informática. 167 . págs. 217–228. doi : 10.1007 / 3-540-12925-1_41 . ISBN 978-3-540-12925-7.
- ^ Mycroft, A. (1980). "La teoría y la práctica de transformar llamada por necesidad en llamada por valor". Simposio Internacional de Programación . Apuntes de conferencias en informática. 83 . págs. 269-281. doi : 10.1007 / 3-540-09981-6_19 . ISBN 978-3-540-09981-9.
- ^ Nethercote, N .; Mycroft, A. (2003). "Redux" . Notas electrónicas en informática teórica . 89 (2): 149. doi : 10.1016 / S1571-0661 (04) 81047-8 .
- ^ Mycroft, Alan; Norman, Arthur C. (1992). "Parte I: lenguajes imperativos clásicos". Optimización de la compilación . Cambridge, Reino Unido: Universidad de Cambridge, Laboratorio de Computación. CiteSeerX 10.1.1.43.9953 . OCLC 29982690 .
[…] El conjunto de compiladores 'Norcroft' construido conjuntamente por los autores […] Los intereses comerciales se remiten a Codemist Ltd. […]
- ^ Bush, Steve (26 de mayo de 2011). "En profundidad: Raspberry Pi, la computadora en un palo" . Electrónica semanal . Consultado el 11 de julio de 2011 .
Los desarrolladores de Raspberry Pi y fideicomisarios de su Fundación son: David Braben - Fundador de la firma de software de juegos Frontier Developments y coautor de 'Elite'. Jack Lang - Business angel, primer empleado de Acorn, fundador de las empresas emergentes de Cambridge. Pete Lomas, fundador y director ejecutivo de Norcott Technologies. Robert Mullins - Laboratorio de Computación de la Universidad de Cambridge y St. John's College, Cambridge. Alan Mycroft - Profesor de Computación en el Laboratorio de Computación de la Universidad de Cambridge Eben Upton - Ingeniero en Broadcom Europe, fundador de empresas emergentes de software y ex director de ciencias de la computación en St. John's College, Cambridge.