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 Christopher Strachey de Computación en Wolfson College, Oxford , de 2000 a 2021.
Los primeros trabajos de Abramsky 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 . [2] [5] [6] [7] [8] [9] [10] [11] [12]
Abramsky se educó en Hasmonean Grammar School for Boys , Hendon y en King's College, Cambridge (licenciatura en 1975, maestría en filosofía 1979, diploma en ciencias de la computación) y en Queen Mary, Universidad de Londres (doctorado en ciencias de la computación 1988, supervisado por Richard Bornat ). [3]
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 .
Sus puestos anteriores incluyen:
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 .
Samson Abramsky coeditó el Manual de lógica en informática en seis volúmenes con Dov Gabbay y Tom Maibaum :
Abramsky ha publicado más de doscientas publicaciones y su índice h era 57 en octubre de 2019. [13]
Algunas de las obras posteriores de Abramsky incluyen:
Abramsky es miembro de la Royal Society (2004), miembro de la Royal Society de Edimburgo (2000), [14] 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.
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 más destacado es el desarrollo de la semántica de juegos como teoría de procesos computacionales que expone la estructura matemática del flujo de información entre ellos. Esto ha dado lugar a potentes aplicaciones en el estudio de los 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 está conduciendo a su vez a nuevos avances en el análisis y la verificación de programas asistidos por ordenador. Una corriente importante, que también constituye una contribución a la lógica, es la 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 ideas agudas y creativas, abriendo nuevos caminos y aportando orden y unidad al trabajo existente. [dieciséis]
