Samson Abramsky - Samson Abramsky
Samson Abramsky
| |
---|---|
Nació | 12 de marzo de 1953 |
alma mater | |
Premios | |
Carrera científica | |
Los campos | |
Instituciones | |
Tesis | Teoría del dominio y la lógica de las propiedades observables (1987) |
Asesor de doctorado | Richard Bornat |
Sitio web | www |
Samson Abramsky FRS FRSE (nacido el 12 de marzo de 1953) es un científico informático que tiene la cátedra Christopher Strachey en el Departamento de Ciencias de la Computación (anteriormente el Laboratorio de Computación) de la Universidad de Oxford . Ha realizado contribuciones en las áreas de teoría de dominios , cálculo lambda perezoso , análisis de rigurosidad , teoría de concurrencia , categorías de interacción, geometría de interacción , semántica de juegos y computación cuántica .
Educación
Abramsky se crió en una familia judía y se educó en Hasmonean Grammar School for Boys , Hendon y en King's College, Cambridge (BA 1975, MA Philosophy 1979, Diploma en Ciencias de la Computación) y Queen Mary, University of London (PhD Computer Science 1988, supervisado por Richard Bornat ).
Carrera e investigación
Desde 2016, Abramsky ha sido miembro del Wolfson College, Oxford y profesor de Computación Christopher Strachey en el Departamento de Ciencias de la Computación de la Universidad de Oxford . También ha sido miembro de la Royal Society desde 2004. Su investigación incluye el desarrollo de la semántica de juegos , la teoría de dominios en forma lógica y la mecánica cuántica categórica .
Sus posiciones anteriores incluyen:
- Programador, GEC Computers Limited , 1976–1978
- Profesor, Departamento de Ciencias de la Computación y Estadística, QMUL, 1980-1983
- Conferencista, 1983–1988, Lector, 1988–1990, Profesor, 1990–1995, Departamento de Computación , Imperial College London
- Profesor de Informática Teórica, Universidad de Edimburgo , 1996-2000
Abramsky ha desempeñado un papel de liderazgo en el desarrollo de la semántica de los juegos y sus aplicaciones a la semántica de los lenguajes de programación . Otras contribuciones notables incluyen su trabajo sobre la teoría del dominio en forma lógica, el cálculo lambda perezoso , el análisis de rigurosidad , la teoría de la concurrencia , las categorías de interacción y la geometría de la interacción . Recientemente, ha estado trabajando en métodos de alto nivel para la computación y la información cuánticas .
Publicaciones Seleccionadas
Samson Abramsky coeditó 6 Volumes Handbook of Logic in Computer Science con Dov Gabbay y Tom Maibaum .
- 1992. Volumen 1: Antecedentes: Estructuras matemáticas .
- 1992. Volumen 2: Antecedentes: Estructuras computacionales .
- 1995. Volumen 3: Estructuras semánticas .
- 1995. Volumen 4: Modelado semántico .
- 2001. Volumen 5: Métodos lógicos y algebraicos .
- Volumen 6: Métodos lógicos en informática .
Samson Abramsky ha publicado más de doscientas publicaciones y su índice h era 57 en octubre de 2019.
- 1986. Análisis de rigurosidad para funciones de orden superior . (con GL Burn, C Hankin). Ciencia de la Programación de Computadores.
- 1990. The Lazy Lambda Calculus . Temas de investigación en programación funcional.
- 1993. Interpretaciones computacionales de lógica lineal . en Ciencias de la Computación Teórica 111
- 1994. Teoría del dominio . (con A Jung). en el Manual de Lógica en Ciencias de la Computación 3.
- 1996. Categorías de interacción y fundamentos de la programación concurrente mecanografiada . (con S Gay y R Nagarajan). CIENCIAS DE LA INFORMÁTICA Y DE SISTEMAS DE LA SERIE F DE LA OTAN ASI 152
- 1997. Especificando categorías de interacción . (con D Pavlović). Teoría de categorías y ciencias de la computación
- 2002. Geometría de interacción y álgebras combinatorias lineales . (con E Haghverdi y P Scott). Estructuras matemáticas en informática 12 (5)
- 2003. Secuencialidad vs. concurrencia en juegos y lógica . Estructuras matemáticas en informática 13 (4)
Algunas de las obras recientes de Samson Abramsky incluyen:
- 2013. Satisfacción de restricciones robustas y variables ocultas locales en mecánica cuántica . (con G. Gottlob y P. Kolaitis). IJCAI 2013
- 2012. Desigualdades de campana lógica . (con Lucien Hardy). En Physical Review A. Vol. 85. No. ARTN 062114
- 2010. Introducción a las categorías y lógica categórica . (con N. Tzevelekos). En Nuevas estructuras para la física. Saltador.
Premios y honores
Abramsky es miembro de la Royal Society (2004), miembro de la Royal Society of Edinburgh (2000) y miembro de la Academia Europaea (1993). Es miembro de los consejos editoriales de North Holland Studies in Logic and the Foundations of Mathematics, y de Cambridge Tracts in Theoretical Computer Science. Fue presidente general de LiCS 2000-2003 y es miembro del Comité Organizador de LiCS.
- Fue elegido miembro de ACM (2014) por sus contribuciones a los dominios en forma lógica, semántica de juegos , mecánica cuántica categórica y semántica contextual.
- Fue galardonado con la medalla BCS Lovelace en 2013
- Su artículo " Teoría del dominio en forma lógica" ganó el premio LiCS Test-of-Time (una retrospectiva de 20 años) en 1987. El premio se presentó en LiCS 2007.
- Recibió una beca de investigación senior EPSRC sobre estructuras y métodos fundamentales para la informática cuántica en 2007.
- Miembro de la Royal Society (2004)
- Miembro de la Royal Society of Edinburgh (2000)
La nominación de Abramsky para la Royal Society dice:
Samson Abramsky se distingue por sus contribuciones fundamentales a los fundamentos matemáticos de la computación. Su logro sobresaliente es el desarrollo de la semántica de juegos como una teoría de los procesos computacionales que expone la estructura matemática del flujo de información entre ellos. Esto ha llevado a aplicaciones poderosas en el estudio de lenguajes de programación, que ofrecen nuevos conocimientos decisivos sobre la naturaleza de la secuencialidad, el estado, el control y muchas otras características computacionales. Ahora, a su vez, está dando lugar a nuevos avances en el análisis y la verificación de programas asistidos por computadora. Una vertiente importante, que también se erige como una contribución a la lógica, es una generalización de la Geometría de interacción de Girard, que conduce a un nuevo género de teoremas de completitud total, que caracterizan el "espacio de pruebas" de una lógica. Anteriormente, Abramsky hizo importantes contribuciones a la interpretación abstracta, la teoría de dominios, el cálculo lambda y la concurrencia. Continúa arrojando luz sobre una amplia gama de temas mediante conocimientos agudos y creativos, abriendo nuevos caminos y trayendo orden y unidad al trabajo existente.