Sansón Abramsky

Científico informático británico

Samson Abramsky (nacido el 12 de marzo de 1953) es un informático británico que es profesor de informática en el University College de Londres . Anteriormente fue profesor de informática Christopher Strachey en el Wolfson College de Oxford , de 2000 a 2021.

Los primeros trabajos de Abramsky incluyeron 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 estrictez , 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 . Cabe destacar que fue co-pionero de la mecánica cuántica categórica . Más recientemente, ha estado aplicando métodos de la semántica categórica a la teoría de modelos finitos , con aplicaciones a la complejidad descriptiva . ^{[2] [5] [6] [7] [8] [9] [10] [11] [12]}

Educación

Abramsky estudió en la Hasmonean Grammar School for Boys , Hendon y en el King's College, Cambridge (BA 1975, MA Filosofía 1979, Diploma en Ciencias de la Computación) y en Queen Mary, Universidad de Londres (PhD en Ciencias de la Computación 1988, supervisado por Richard Bornat ). ^[3]

Carrera e investigación

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

Entre sus cargos anteriores se incluyen:

• Programador, GEC Computers Limited , 1976-1978
• Profesor del Departamento de Informática y Estadística, QMUL, 1980-1983
• Profesor, 1983-1988, lector, 1988-1990, catedrático, 1990-1995, Departamento de Informática , Imperial College London
• Profesor de informática teórica, Universidad de Edimburgo , 1996-2000
• Profesor de informática Christopher Strachey , Universidad de 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 la teoría del dominio en forma lógica, el cálculo lambda perezoso , el análisis de estrictez , 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ó el Manual de lógica en informática de 6 volúmenes 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: Lógica y métodos algebraicos .
• Volumen 6: Métodos lógicos en informática .

Abramsky ha publicado más de doscientas publicaciones y su índice h era 57 en octubre de 2019. ^[13]

• 1986. Análisis de estrictez para funciones de orden superior . (con GL Burn, C Hankin). Ciencia de la programación informática.
• 1990. El cálculo lambda perezoso . Temas de investigación en programación funcional.
• 1993. Interpretaciones computacionales de la lógica lineal . en Ciencias de la Computación Teórica 111
• 1994. Teoría de dominios . (con A. Jung). en Manual de lógica en ciencias de la computación 3.
• 1996. Categorías de interacción y fundamentos de la programación concurrente tipificada . (con S. Gay y R. Nagarajan). SERIE F DE LA OTAN ASI CIENCIAS DE LA COMPUTACIÓN Y DE SISTEMAS 152
• 1997. Especificación de 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 posteriores de Abramsky incluyen:

• 2010. Introducción a las categorías y lógica categórica . (con N. Tzevelekos). En Nuevas estructuras para la física. Springer.
• 2012. Desigualdades lógicas de Bell . (con Lucien Hardy). En Physical Review A. Vol. 85. No. ARTN 062114.
• 2013. Satisfacción de restricciones robustas y variables ocultas locales en mecánica cuántica . (con G. Gottlob y P. Kolaitis). IJCAI .

Premios y honores

Abramsky es miembro de la Royal Society (2004), de la Royal Society of Edinburgh (2000) ^[14] y 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.

• En 2024 recibió el premio EATCS, que se otorga por sus contribuciones a la informática teórica a lo largo de su carrera. Entre sus trabajos mencionados en el reconocimiento se encuentran sus contribuciones a la teoría de dominios, la semántica de juegos y el enfoque categórico de la computación y la información cuánticas. ^[15]
• Fue elegido miembro de la ACM (2014) por sus contribuciones a los dominios de la forma lógica, la semántica de juegos , la mecánica cuántica categórica y la semántica contextual. ^[1]
• Fue galardonado con la Medalla BCS Lovelace en 2013 ^[16]
• Tres de sus artículos ganaron el premio LiCS Test-of-Time (una retrospectiva de 20 años): ^[17]
  • Samson Abramsky. " Teoría de dominios en forma lógica" (1987). El premio se entregó en LiCS 2007.
  • Samson Abramsky, Kohei Honda y Guy McCusker. "Una semántica de juego totalmente abstracta para referencias generales" (1998). El premio se entregó en LiCS 2018.
  • Samson Abramsky y Bob Coecke. "Una semántica categórica de los protocolos cuánticos" (2004). El premio se entregó en LiCS 2024. ^[18]
• En 2007 se le concedió una beca de investigación sénior del EPSRC sobre estructuras y métodos fundamentales para la informática cuántica.
• Miembro de la Royal Society (2004)
• Miembro de la Royal Society de Edimburgo (2000)

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

Samson Abramsky es reconocido por sus contribuciones fundamentales a los fundamentos matemáticos de la computación. Su logro más destacado es el desarrollo de la semántica de juegos como teoría de los procesos computacionales que expone la estructura matemática del flujo de información entre ellos. Esto ha llevado a poderosas aplicaciones en el estudio de los lenguajes de programación, ofreciendo nuevas perspectivas decisivas sobre la naturaleza de la secuencialidad, el estado, el control y muchas otras características computacionales. Ahora está conduciendo a su vez a nuevos desarrollos en el análisis y verificación de programas asistidos por computadora. Una línea importante, que también se destaca como una contribución a la lógica, es una generalización de la geometría de la 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 del dominio, el cálculo lambda y la concurrencia. Sigue arrojando luz sobre una amplia gama de temas mediante ideas agudas y creativas, abriendo nuevos caminos y aportando orden y unidad al trabajo existente. ^[19]

Referencias

1. "El Sr. Samson Abramsky". awards.acm.org .
2. Publicaciones de Samson Abramsky indexadas por Google Scholar
3. Samson Abramsky en el Proyecto de Genealogía Matemática
4. A & C Black (2014). "ABRAMSKY, Prof. Samson". Quién es quién . Bloomsbury Publishing.(se requiere suscripción)
5. Publicaciones de Samson Abramsky indexadas en la base de datos bibliográfica Scopus . (requiere suscripción)
6. Abramsky, S.; Jagadeesan, R.; Malacaria, P. (2000). "Abstracción completa para PCF" (PDF) . Información y computación . 163 (2): 409. arXiv : 1311.6125 . doi :10.1006/inco.2000.2930.
7. Abramsky, S.; Ong, CHL (1993). "Abstracción completa en el cálculo lambda perezoso". Información y computación . 105 (2): 159. doi : 10.1006/inco.1993.1044 .
8. "Página de LinkedIn de Samson Abramsky".
9. Samson Abramsky en el servidor de bibliografía DBLP
10. Abramsky, S. (1993). "Interpretaciones computacionales de la lógica lineal". Ciencias de la Computación Teórica . 111 (1–2): 3–57. doi : 10.1016/0304-3975(93)90181-R .
11. Página de perfil del autor Samson Abramsky en la Biblioteca Digital ACM
12. Publicaciones de Samson Abramsky indexadas por Microsoft Academic
13. Samson Abramsky: Publicaciones
14. "Profesor Samson Abramsky FRS FRSE". The Royal Society of Edinburgh . 19 de mayo de 2017. Consultado el 27 de enero de 2019 .
15. "El Premio EATCS 2024 - Elogio para Samson Abramsky". eatcs.org .
16. "Academia de Computación BCS | BCS". www.bcs.org .
17. "Premio LICS a la prueba del tiempo". siglog.org .
18. "ICALP/LICS/FSCD 2024". compose.ioc.ee .
19. "Exposición del catálogo del archivo DServe". collections.royalsociety.org .