Samson Abramsky - Samson Abramsky

Samson Abramsky

Abramsky Samson.jpg
Samson Abramsky
Nació ( 12 de marzo de 1953 )12 de marzo de 1953 (68 años)
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 .cs .ox .ac .uk / samson .abramsky

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:

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:

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.

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.

Referencias