Samson Abramsky
From Wikipedia, the free encyclopedia
Samson Abramsky FRS is a computer scientist who currently holds the Christopher Strachey Professorship at Oxford University Computing Laboratory. He is well known for playing a leading role in the development of domain theory in logical form. He has made significant contributions to the areas of game semantics, the lazy lambda calculus, strictness analysis, concurrency theory, interaction categories, and the geometry of interaction.
Contents |
[edit] Biography
Since the Year 2000, he has been a Fellow of the Royal Society of Edinburgh, a Fellow of Wolfson College, Oxford and Christopher Strachey Professor of Computing at Oxford University Computing Laboratory. He has also been a Fellow of the Royal Society since 2004. His research achievements include the development of game semantics, domain theory in logical form, and categorical quantum mechanics.
He was educated 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).
His earlier positions include:
- Programmer, GEC Computers Limited, 1976–1978
- Lecturer, Department of Computer Science and Statistics, QMUL, 1980–1983
- Lecturer, 1983–1988, Reader, 1988–1990, Professor, 1990–1995, Department of Computing, Imperial College London
- Professor of Theoretical Computer Science, University of Edinburgh, 1996–2000
[edit] Research career
Samson Abramsky is Christopher Strachey Professor of Computing and a Fellow of Wolfson College, Oxford University. Previously he held chairs at the Imperial College of Science, Technology and Medicine, and at the University of Edinburgh.
He holds MA degrees from Cambridge and Oxford, and a PhD from the University of London.
He is a Fellow of the Royal Society (2004), a Fellow of the Royal Society of Edinburgh (2000), and a Member of Academia Europaea (1993). He is a member of the Editorial Boards of the North Holland Studies in Logic and the Foundations of Mathematics, and of the Cambridge Tracts in Theoretical Computer Science. He was General Chair of LiCS 2000-2003, and is currently a member of the LiCS Organizing Committee.
He has played a leading role in the development of game semantics, and its applications to the semantics of programming languages. Other notable contributions include his work on domain theory in logical form, the lazy lambda calculus, strictness analysis, concurrency theory, interaction categories, and geometry of interaction. He has recently been working on high-level methods for quantum computation and information.
[edit] Awards
- He was awarded an EPSRC Senior Research Fellowship in 2007
- His paper ``Domain theory in Logical Form won the LiCS Test-of-Time award (a 20-year retrospective) for 1987. The award was presented at LiCS 2007.
- He was awarded an EPSRC Senior Research Fellowship on Foundational Structures and Methods for Quantum Informatics in 2007.
- Fellow of the Royal Society (2004)
- Fellow of the Royal Society of Edinburgh (2000)
[edit] External links
 |
This article on a computer specialist of the United Kingdom is a stub. You can help Wikipedia by expanding it. |
