Samson Abramsky

Samson Abramsky FRS FRSE (nacido el 12 de marzo de 1953) Es profesor de Ciencias de la Computación en el University College de Londres. Anteriormente fue profesor de Computación Christopher Strachey en Wolfson College, Oxford, de 2000 a 2021.

Sus primeros trabajos incluyeron profundas contribuciones a la teoría de dominios y sus conexiones con la lógica geométrica. Desde entonces, su trabajo ha abarcado el cálculo lambda perezoso, el análisis de rigor, la teoría de la concurrencia, las categorías de interacción y la geometría de la interacción, la semántica de juegos y la computación cuántica. En particular, fue uno de los pioneros de la mecánica cuántica categórica. Más recientemente, ha estado aplicando métodos desde la semántica categórica hasta la teoría de modelos finitos, con aplicaciones a la complejidad descriptiva.

Educación

Abramsky se educó en Hasmonean Grammar School for Boys, Hendon y en King's College, Cambridge (licenciatura en 1975, maestría en filosofía en 1979, diploma en ciencias de la computación) y en Queen Mary, Universidad de Londres (doctorado en ciencias de la computación en 1988, supervisado por Richard Bornat).

Carrera e investigación

Desde 2021, Abramsky es profesor de Ciencias de la Computación en el University College de Londres. 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 puestos anteriores incluyen:

• Programmer, GEC Computers Limited, 1976-1978
• Profesor del Departamento de Ciencias y Estadística de la Computación, QMUL, 1980-1983
• Profesor, 1983–1988, lector, 1988–1990, profesor, 1990–1995, Departamento de Computación, Imperial College London
• Professor of Theoretical Computer Science, University of Edinburgh, 1996–2000
• Christopher Strachey Professor of Computing, University of Oxford, 2000-2021

Abramsky ha desempeñado un papel destacado en el desarrollo de la semántica de juegos y sus aplicaciones a la semántica de los lenguajes de programación. Otras contribuciones notables incluyen su trabajo sobre teoría de dominios en forma lógica, el cálculo lambda perezoso, análisis de rigor, teoría de la concurrencia, categorías de interacción y geometría de interacción. Recientemente ha estado trabajando en métodos de alto nivel para la información y la computación cuántica.

Publicaciones seleccionadas

Samson Abramsky coeditó 6 volúmenes del Manual de lógica en informática 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 la ciencia informática.

Samson Abramsky ha publicado más de doscientas publicaciones y su índice H fue 57 a partir de octubre de 2019.

• 1986. Análisis de la rigidez para funciones de orden superior. (con GL Burn, C Hankin). Ciencia de la programación informática.
• 1990. Lazy Lambda Calculus. Temas de investigación en programación funcional.
• 1993. Interpretaciones computacionales de la lógica lineal. en Theoretical Computer Science 111
• 1994. Dominio Teoría. (con A Jung). en Handbook of Logic in Computer Science 3.
• 1996. Categorías de interacción y las bases de la programación simultánea tipo. (con S Gay y R Nagarajan). ASI OTAN SERIES F COMPUTER AND SYSTEMS SCIENCES 152
• 1997. Especificar las categorías de interacción. (con D Pavlović). Teoría de la categoría y Ciencias de la Computación
• 2002. Geometría de la interacción y álgebras combinatorias lineales. (con E Haghverdi y P Scott). Estructuras matemáticas en la ciencia de la computadora 12 (5)
• 2003. Secuencialidad vs. coincidencia en juegos y lógica. Estructuras matemáticas en la ciencia de la computadora 13 (4)

Algunos de los trabajos recientes de Samson Abramsky incluyen:

• 2013. Robust Constraint Satisfaction and Local Hidden Variables in Quantum Mechanics. (con G. Gottlob y P. Kolaitis). IJCAI 2013
• 2012. Logical Bell Inequalities. (con Lucien Hardy). In Physical Review A. Vol. 85. No. ARTN 062114
• 2010. Introducción a categorías y lógica categórica. (con N. Tzevelekos). En Nuevas Estructuras para la Física. Springer.

premios y honores

Abramsky es miembro de la Royal Society (2004), miembro de la Royal Society of Edimburgo (2000) y miembro de la Academia Europaea (1993). Es miembro de las juntas editoriales de los estudios de North Holland en lógica y los fundamentos de las matemáticas, y de los tratados de Cambridge en informática teórica. Fue presidente general de LICS 2000–2003 y es miembro del comité organizador de LICS.

• He was elected Fellow of ACM (2014) Para contribuciones a dominios en forma lógica, semántica de juego, mecánica cuántica clasificada, 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) para 1987. The award was presented at LiCS 2007.
• He was awarded an EPSRC Senior Research Fellowship on Foundational Structures and Methods for Quantum Informatics in 2007.
• Fellow of the Royal Society (2004)
• Fellow of the Royal Society of Edinburgh (2000)

La nominación de Abramsky para la Royal Society dice:

Samson Abramsky se distingue por las contribuciones seminal a las bases matemáticas de la computación. Su logro excepcional es su desarrollo de Game Semantics como una teoría de procesos computacionales que expone la estructura matemática del flujo de información entre ellos. Esto ha llevado a potentes aplicaciones en el estudio de lenguajes de programación, ofreciendo nuevas ideas decisivas sobre la naturaleza de la secuencia, estado, control y muchas otras características computacionales. Ahora está dando lugar a nuevos avances en el análisis y verificación de programas asistidos por computadora. Un hilo importante, que también es 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 plenitud, que caracterizan el 'espacio de pruebas' de una lógica. Anteriormente, Abramsky hizo importantes contribuciones a la interpretación abstracta, teoría de dominios, cálculo de lambda y concurrencia. Sigue arrojando luz sobre una amplia gama de temas por ideas agudas y creativas, rompiendo nuevos terrenos y llevando orden y unidad al trabajo existente.