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).

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
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).

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
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.

Imperial College London

Imperial CollegeImperial College of Science and TechnologyImperial College, London