Samson Abramsky#
Membership Number: | 1328 |
Membership type: | ORDINARY |
Section: | INFORMATICS |
Elected: | 1993 |
Main Country of Residence: | UNITED KINGDOM |
Homepage(s): | http://www.comlab.ox.ac.uk/samson.abramsky |
Present and Previous Positions
- Christopher Strachey Professor of Computing and a Fellow of Wolfson College, Oxford University
- Previously chairs at the Imperial College of Science, Technology and Medicine, and at the University of Edinburgh
- MA degrees from Cambridge and Oxford
- PhD, University of London
Fields of Scholarship
- Semantics
- Logic of computation
- Concurrency
- Domain theory
- Lambda calculus
- Semantics of programming languages
- Abstract interpretation
- Program analysis
Honours and Awards
- 2004 Fellow of the Royal Society
- 2000 Fellow of the Royal Society of Edinburgh
- 1993 Member of Academia Europaea