Andrew D. Gordon es un informático británico empleado por Microsoft Research . Sus intereses de investigación incluyen el diseño de lenguajes de programación , métodos formales , concurrencia , criptografía y control de acceso .
Biografía
Gordon obtuvo un Ph.D. de la Universidad de Cambridge en 1992. Hasta 1997, Gordon fue investigador en el Laboratorio de Computación de la Universidad de Cambridge . Luego se unió al laboratorio de investigación de Microsoft en Cambridge, Inglaterra, donde es investigador principal en el grupo de Herramientas y Principios de Programación. [1] También tiene una cátedra en la Universidad de Edimburgo . [2]
Investigar
Gordon es uno de los diseñadores de Concurrent Haskell , un lenguaje de programación funcional con primitivas explícitas para la concurrencia . Es el co-diseñador con Martin Abadi de spi calculus , una extensión del π-calculus para el razonamiento formalizado sobre sistemas criptográficos. [3] Él y Luca Cardelli inventaron el cálculo ambiental para razonar sobre el código móvil . [4] Con Moritz Y. Becker y Cédric Fournet, Gordon también diseñó SecPAL , un lenguaje de especificación de Microsoft para políticas de control de acceso .
Premios y honores
El doctorado de Gordon tesis, Programación funcional y Entrada / Salida , ganó el Premio de Disertación Distinguida de 1993 de la Sociedad Británica de Computación . [5] Su artículo de 2000 sobre el tema del cálculo ambiental con Luca Cardelli, "En cualquier momento, en cualquier lugar: lógicas modales para ambientes móviles", ganó el premio SIGPLAN Most Influential POPL Paper Award 2010. [6]
Referencias
- ^ Grupo de programación, principios y herramientas , Microsoft Research, consultado el 2 de febrero de 2012.
- ^ Perfil de la facultad , Univ. of Edinburgh, consultado el 2 de febrero de 2012.
- ^ Ryan, Peter; Schneider, Steve A. (2001), "9.10 Spi calculus", El modelado y análisis de protocolos de seguridad: el enfoque CSP , Addison-Wesley Professional, págs. 234-235, ISBN 978-0-201-67471-2.
- ^ Bergstra, JA; Ponse, Alban; Smolka, Scott A. (2001), "4.3.3. El cálculo ambiental", Manual de álgebra de procesos , Elsevier, págs. 1026–1028, ISBN 978-0-444-82830-9.
- ^ Premios, honores, premios y concursos ganados , Laboratorio de Computación de Cambridge, consultado 2012-02-02.
- ^ Premios SIGPLAN. Archivado el 2 de agosto de 2009 en la Wayback Machine . Consultado el 1 de febrero de 2012.
enlaces externos
- Página de inicio en Microsoft Research
- Publicaciones de Andrew D. Gordon indexadas por Google Scholar