Andrés D Gordon

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 doctorado. 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 Principios y herramientas de programación. También tiene una cátedra en la Universidad de Edimburgo.

Investigación

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. Él y Luca Cardelli inventaron el cálculo ambiental para razonar sobre el código móvil. 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 distinciones

El doctorado de Gordon La tesis, Programación funcional y entrada/salida, ganó el premio de disertación distinguida de 1993 de la British Computer Society. Su artículo de 2000 sobre el tema del cálculo ambiental con Luca Cardelli, "Anytime, Anywhere: Modal Logics for Mobile Ambients", ganó el premio SIGPLAN Most Influential POPL Paper de 2010.