The Full Wiki

More info on Samson Abramsky

Samson Abramsky: Map

Advertisements
  

Wikipedia article:

Map showing all locations mentioned on Wikipedia article:

Samson Abramsky
Samson D. Abramsky FRS, FRSE is a computer scientist who currently holds the Christopher Strachey Professorship at Oxford University Computing Laboratorymarker. He is well known for playing a leading role in the development of game semantics. He has made significant contributions to the areas of domain theory, the lazy lambda calculus, strictness analysis, concurrency theory, interaction categories, and the geometry of interaction.

Biography

Since the Year 2000, he has been a Fellow of the Royal Society of Edinburgh, a Fellow of Wolfson College, Oxfordmarker and Christopher Strachey Professor of Computing at Oxford University Computing Laboratorymarker. 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, Cambridgemarker (BA 1975, MA Philosophy 1979, Diploma in Computer Science) and Queen Mary, University of Londonmarker (PhD Computer Science 1988, supervised by Richard Bornat).

His earlier positions include:



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 Collegemarker of Science, Technology and Medicine, and at the University of Edinburgh.

He holds MA degrees from Cambridgemarker and Oxfordmarker, 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.

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)


External links




Embed code:
Advertisements






Got something to say? Make a comment.
Your name
Your email address
Message