Samson Abramsky | |
---|---|
Samson Abramsky
|
|
Born | 12 March 1953 |
Fields | |
Institutions | |
Alma mater |
|
Thesis | Domain Theory and the Logic of Observable Properties (1987) |
Doctoral advisor | Richard Bornat |
Notable awards |
|
Website www |
Samson Abramsky FRS (born 12 March 1953), FRSE is a computer scientist who holds the Christopher Strachey Professorship at the Department of Computer Science (formerly the Computing Laboratory), University of Oxford. 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.
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).
As of 2016[update] Abramsky is a Fellow of Wolfson College, Oxford and Christopher Strachey Professor of Computing at Oxford University Department of Computer Science. He has also been a Fellow of the Royal Society since 2004. His research includes the development of game semantics, domain theory in logical form, and categorical quantum mechanics.