Samson Abramski- Samson Abramsky

Samson Abramsky

FRS FRSE
Abramsky Samson.jpg
Samson Abramsky
Geboren ( 1953-03-12 )12. März 1953 (68 Jahre)
Alma Mater
Auszeichnungen
Wissenschaftlicher Werdegang
Felder
Institutionen
These Domänentheorie und die Logik beobachtbarer Eigenschaften  (1987)
Doktoratsberater Richard Bornat
Webseite www .cs .ox .ac .uk /samson .abramsky

Samson Abramsky FRS FRSE (* 12. März 1953) ist ein Informatiker, der die Christopher Strachey- Professur am Department of Computer Science (ehemals Computing Laboratory) der Universität Oxford innehat . Er hat Beiträge zu den Bereichen Domänentheorie , Lazy- Lambda-Kalkül , Strengeanalyse , Nebenläufigkeitstheorie , Interaktionskategorien, Geometrie der Interaktion , Spielsemantik und Quantencomputing geleistet .

Ausbildung

Abramsky wuchs in einer jüdischen Familie auf und studierte an der Hasmonean Grammar School for Boys , Hendon und am King's College, Cambridge (BA 1975, MA Philosophy 1979, Diplom in Computer Science) und Queen Mary, University of London (PhD Computer Science 1988, betreut von Richard Bornat ).

Karriere und Forschung

Abramsky ist seit 2016 Fellow des Wolfson College, Oxford und Christopher Strachey Professor of Computing am Oxford University Department of Computer Science . Außerdem ist er seit 2004 Fellow der Royal Society . Seine Forschung umfasst die Entwicklung der Spielsemantik , der Domänentheorie in logischer Form und der kategorialen Quantenmechanik .

Zu seinen früheren Positionen gehören:

Abramsky hat eine führende Rolle bei der Entwicklung der Spielsemantik und ihrer Anwendungen auf die Semantik von Programmiersprachen gespielt . Weitere bemerkenswerte Beiträge sind seine Arbeiten zur Domänentheorie in logischer Form, dem Lazy Lambda-Kalkül , der Strengeanalyse , der Nebenläufigkeitstheorie , den Interaktionskategorien und der Geometrie der Interaktion . In letzter Zeit arbeitet er an High-Level-Methoden für Quantencomputer und Information.

Ausgewählte Publikationen

Samson Abramsky hat zusammen mit Dov Gabbay und Tom Maibaum 6 Bände Handbook of Logic in Computer Science herausgegeben .

  • 1992. Band 1: Hintergrund: Mathematische Strukturen .
  • 1992. Band 2: Hintergrund: Computerstrukturen .
  • 1995. Band 3: Semantische Strukturen .
  • 1995. Band 4: Semantische Modellierung .
  • 2001. Band 5: Logik und algebraische Methoden .
  • Band 6: Logische Methoden in der Informatik .

Samson Abramsky hat über zweihundert Publikationen veröffentlicht und sein h-Index lag im Oktober 2019 bei 57.

  • 1986. Strengeanalyse für Funktionen höherer Ordnung . (mit GL Burn, C Hankin). Wissenschaft der Computerprogrammierung.
  • 1990. Der faule Lambda-Kalkül . Forschungsthemen in der funktionalen Programmierung.
  • 1993. Computergestützte Interpretationen der linearen Logik . in Theoretische Informatik 111
  • 1994. Domänentheorie . (mit A Jung). im Handbuch der Logik in der Informatik 3.
  • 1996. Interaktionskategorien und die Grundlagen der typisierten gleichzeitigen Programmierung . (mit S Gay und R Nagarajan). NATO ASI SERIE F COMPUTER- UND SYSTEMWISSENSCHAFTEN 152
  • 1997. Interaktionskategorien festlegen . (mit D. Pavlović). Kategorie Theorie und Informatik
  • 2002. Geometrie der Wechselwirkung und lineare kombinatorische Algebren . (mit E. Haghverdi und P. Scott). Mathematische Strukturen in der Informatik 12 (5)
  • 2003. Sequenzialität vs. Parallelität in Spielen und Logik . Mathematische Strukturen in der Informatik 13 (4)

Zu den jüngsten Werken von Samson Abramsky gehören:

Auszeichnungen und Ehrungen

Abramsky ist Fellow der Royal Society (2004), Fellow der Royal Society of Edinburgh (2000) und Mitglied der Academia Europaea (1993). Er ist Mitglied des Editorial Boards der North Holland Studies in Logic and the Foundations of Mathematics und der Cambridge Tracts in Theoretical Computer Science. Er war General Chair von LiCS 2000–2003 und ist Mitglied des LiCS-Organisationskomitees.

Abramskys Nominierung für die Royal Society lautet:

Samson Abramsky wird für bahnbrechende Beiträge zu den mathematischen Grundlagen der Berechnung ausgezeichnet. Seine herausragende Leistung ist seine Entwicklung der Game Semantics als einer Theorie von Rechenprozessen, die die mathematische Struktur des Informationsflusses zwischen ihnen aufdeckt. Dies hat zu leistungsstarken Anwendungen beim Studium von Programmiersprachen geführt, die entscheidende neue Einblicke in die Natur von Sequenzität, Zustand, Steuerung und vielen anderen Rechenfunktionen bieten. Sie führt nun wiederum zu neuen Entwicklungen in der computergestützten Programmanalyse und -verifikation. Ein wichtiger Strang, der auch als Beitrag zur Logik steht, ist eine Verallgemeinerung von Girards Geometry of Interaction, die zu einer neuen Gattung von Full-Completeness-Theoremen führt, die den „Raum der Beweise“ einer Logik charakterisieren. Zuvor leistete Abramsky wichtige Beiträge zur abstrakten Interpretation, Domänentheorie, Lambda-Kalkül und Nebenläufigkeit. Er beleuchtet weiterhin ein breites Themenspektrum durch scharfe und kreative Einsichten, betritt neue Wege und bringt Ordnung und Einheit in bestehende Arbeiten.

Verweise