Samson Abramsky

Samson Abramsky (nacido el 12 de marzo de 1953) es un científico informático británico, profesor de Informática en el University College de Londres . Anteriormente, fue profesor Christopher Strachey de Informática en el Wolfson College de Oxford , desde 2000 hasta 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 cofundador 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 . ^{[ 4 ] [ 5 ] [ 6 ]}

Abramsky se educó en la Hasmonean Grammar School for Boys , Hendon y en el King's College, Cambridge (BA 1975, MA Philosophy 1979, Diploma in Computer Science) y Queen Mary, University of London (PhD Computer Science 1988, supervisado por Richard Bornat ). ^{[ 2 ]}

Desde 2021, Abramsky es catedrático de Informática en el University College de Londres . Es miembro de la Royal Society desde 2004. Su investigación abarca 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 de la QMUL, 1980-1983.
• Profesor adjunto, 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
• Christopher Strachey, Profesor de Informática , Universidad de Oxford , 2000–2021

Abramsky ha desempeñado un papel fundamental en el desarrollo de la semántica de juegos y sus aplicaciones a la semántica de los lenguajes de programación . Otras contribuciones destacadas incluyen su trabajo sobre la teoría de dominios 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 .

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 obras y su índice h era de 57 en octubre de 2019. ^{[ 7 ]}

• 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 Informática teórica 111
• 1994. Teoría de dominios . (con A. Jung). en Manual de lógica en informática 3.
• 1996. Categorías de interacción y fundamentos de la programación concurrente tipada . (con S. Gay y R. Nagarajan). NATO ASI SERIES F COMPUTER AND SYSTEMS CIENCIAS 152
• 1997. Especificación de categorías de interacción . (con D. Pavlović). Teoría de categorías e informática.
• 2002. Geometría de la 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 la 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 robusta de restricciones y variables ocultas locales en mecánica cuántica . (con G. Gottlob y P. Kolaitis). IJCAI .

Abramsky es miembro de la Royal Society (2004), de la Royal Society of Edinburgh (2000) ^{[ 8 ]} y de la Academia Europaea (1993). Forma parte 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 entre 2000 y 2003 y es miembro del Comité Organizador de LiCS.

• En 2024, recibió el Premio EATCS, que se otorga por contribuciones a la informática teórica a lo largo de una trayectoria profesional. Entre los 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. ^{[ 9 ]}
• 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 Lovelace de la BCS en 2013 ^{[ 10 ].}
• Tres de sus artículos ganaron el premio LiCS Test-of-Time (una retrospectiva de 20 años): ^{[ 11 ]}
  • Samson Abramsky. " Teoría de dominios en forma lógica" (1987). El premio fue entregado en LiCS 2007.
  • Samson Abramsky, Kohei Honda y Guy McCusker. «Una semántica de juegos totalmente abstracta para referencias generales» (1998). El premio fue entregado 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. ^{[ 12 ]}
• En 2007, recibió una beca de investigación sénior del EPSRC sobre estructuras y métodos fundamentales para la informática cuántica.
• Miembro de la Real Sociedad (2004)
• Miembro de la Real Sociedad de Edimburgo (2000)

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

Samson Abramsky se distingue 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 una teoría de los procesos computacionales que revela la estructura matemática del flujo de información entre ellos. Esto ha dado lugar a poderosas aplicaciones en el estudio de los lenguajes de programación, ofreciendo nuevas y decisivas perspectivas sobre la naturaleza de la secuencialidad, el estado, el control y muchas otras características computacionales. A su vez, está impulsando nuevos desarrollos en el análisis y la verificación de programas asistidos por computadora. Una línea importante, que también constituye 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, los cuales caracterizan el "espacio de pruebas" de una lógica. Anteriormente, Abramsky realizó importantes contribuciones a la interpretación abstracta, la teoría de dominios, el cálculo lambda y la concurrencia. Continúa esclareciendo una amplia gama de temas con ideas agudas y creativas, abriendo nuevos caminos y aportando orden y unidad al trabajo existente. ^{[ 13 ]}