# Samson Abramsky

**AbramskyS. Abramsky**

Samson Abramsky FRS, FRSE (born 12 March 1953) is a computer scientist who holds the Christopher Strachey Professorship at the Department of Computer Science (formerly the Computing Laboratory), University of Oxford.wikipedia

68 Related Articles

### Game semantics

**game semantics for first-order logicgame theoretic semanticsGame-theoretical semantics**

He has made contributions to the areas of domain theory, the lazy lambda calculus, strictness analysis, concurrency theory, interaction categories, geometry of interaction, game semantics and quantum computing. His research includes the development of game semantics, domain theory in logical form, and categorical quantum mechanics. Abramsky has played a leading role in the development of game semantics, and its applications to the semantics of programming languages.

New results in linear logic by Jean-Yves Girard in the interfaces between mathematical game theory and logic on one hand and argumentation theory and logic on the other hand resulted in the work of many others, including S. Abramsky, J. van Benthem, A. Blass, D. Gabbay, M. Hyland, W. Hodges, R. Jagadeesan, G. Japaridze, E. Krabbe, L. Ong, H. Prakken, G. Sandu, D. Walton, and J. Woods, who placed game semantics at the center of a new concept in logic in which logic is understood as a dynamic instrument of inference.

### Categorical quantum mechanics

**Categorical quantizationquantum mechanics**

His research includes the development of game semantics, domain theory in logical form, and categorical quantum mechanics.

It was pioneered in 2004 by Abramsky and Coecke.

### Department of Computer Science, University of Oxford

**Oxford University Computing LaboratoryOxford University Department of Computer ScienceDepartment of Computer Science**

Samson Abramsky FRS, FRSE (born 12 March 1953) is a computer scientist who holds the Christopher Strachey Professorship at the Department of Computer Science (formerly the Computing Laboratory), University of Oxford. Abramsky is a Fellow of Wolfson College, Oxford and Christopher Strachey Professor of Computing at Oxford University Department of Computer Science.

### Christopher Strachey

**ChristopherChristopher Stratchey**

Samson Abramsky FRS, FRSE (born 12 March 1953) is a computer scientist who holds the Christopher Strachey Professorship at the Department of Computer Science (formerly the Computing Laboratory), University of Oxford. Abramsky is a Fellow of Wolfson College, Oxford and Christopher Strachey Professor of Computing at Oxford University Department of Computer Science.

The Department of Computer Science at the University of Oxford has a Christopher Strachey Professorship of Computing, currently held by Samson Abramsky FRS.

### Richard Bornat

**Bornat, Richard**

Abramsky was educated at Hasmonean Grammar School for Boys, Hendon and at King's College, Cambridge (BA 1975, MA Philosophy 1979, Diploma in Computer Science) and Queen Mary, University of London (PhD Computer Science 1988, supervised by Richard Bornat).

Richard Bornat's PhD students have included Samson Abramsky in the early 1980s.

### Dov Gabbay

**Dov M. GabbayCollege PublicationsGabbay, Dov**

He is editor of several international Journals, and many reference works and Handbooks of Logic, including the Handbook of Philosophical Logic, the Handbook of Logic in Computer Science (with Samson Abramsky and T. S. E. Maibaum), and the Handbook of Artificial Intelligence and Logic Programming.

### Hasmonean High School

**Hasmonean Grammar SchoolHasmonean Grammar School for BoysHasmonean High School for Girls**

Abramsky was educated at Hasmonean Grammar School for Boys, Hendon and at King's College, Cambridge (BA 1975, MA Philosophy 1979, Diploma in Computer Science) and Queen Mary, University of London (PhD Computer Science 1988, supervised by Richard Bornat).

### List of Fellows of the Association for Computing Machinery

**ACM FellowFellow of the Association for Computing MachineryFellow**

### Fellow of the Royal Society

**FRSForMemRSFellows of the Royal Society**

Samson Abramsky FRS, FRSE (born 12 March 1953) is a computer scientist who holds the Christopher Strachey Professorship at the Department of Computer Science (formerly the Computing Laboratory), University of Oxford.

### Computer science

**computer scientistcomputer sciencescomputer scientists**

Samson Abramsky FRS, FRSE (born 12 March 1953) is a computer scientist who holds the Christopher Strachey Professorship at the Department of Computer Science (formerly the Computing Laboratory), University of Oxford.

### Domain theory

**domainsdomaindomain theoretic**

He has made contributions to the areas of domain theory, the lazy lambda calculus, strictness analysis, concurrency theory, interaction categories, geometry of interaction, game semantics and quantum computing. His research includes the development of game semantics, domain theory in logical form, and categorical quantum mechanics.

### Strictness analysis

**strictness analyzer**

He has made contributions to the areas of domain theory, the lazy lambda calculus, strictness analysis, concurrency theory, interaction categories, geometry of interaction, game semantics and quantum computing.

### Concurrency (computer science)

**concurrencyconcurrentconcurrently**

He has made contributions to the areas of domain theory, the lazy lambda calculus, strictness analysis, concurrency theory, interaction categories, geometry of interaction, game semantics and quantum computing.

### Geometry of interaction

He has made contributions to the areas of domain theory, the lazy lambda calculus, strictness analysis, concurrency theory, interaction categories, geometry of interaction, game semantics and quantum computing.

### Hendon

**Hendon, LondonHendon, MiddlesexBrent Street**

Abramsky was educated at Hasmonean Grammar School for Boys, Hendon and at King's College, Cambridge (BA 1975, MA Philosophy 1979, Diploma in Computer Science) and Queen Mary, University of London (PhD Computer Science 1988, supervised by Richard Bornat).

### King's College, Cambridge

**King's CollegeKing’s College, CambridgeKing**

### Fellow

**fellowshipSenior Fellowfellows**

Abramsky is a Fellow of Wolfson College, Oxford and Christopher Strachey Professor of Computing at Oxford University Department of Computer Science.

### Wolfson College, Oxford

**Wolfson CollegeWolfsonWolfson College, University of Oxford**

Abramsky is a Fellow of Wolfson College, Oxford and Christopher Strachey Professor of Computing at Oxford University Department of Computer Science.

### Semantics (computer science)

**semanticsformal semantics of programming languagesformal semantics**

Abramsky has played a leading role in the development of game semantics, and its applications to the semantics of programming languages.

### Quantum computing

**quantum computerquantum computationquantum computers**

### General Electric Company

**GECGeneral Electric Company plcGeneral Electric**

### Imperial College London

**Imperial CollegeImperial College of Science and TechnologyImperial College, London**

### University of Edinburgh

**Edinburgh UniversityEdinburghThe University of Edinburgh**