Samson Abramsky
homepage:http://www.cs.ox.ac.uk/samson.abramsky/
search externally:   Google Scholar,   Springer,   CiteSeer,   Microsoft Academic Search,   Scirus ,   DBlife

Description

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 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. More recently, he has been working on high-level methods for quantum computation and information.


Lectures:

panel
locked flag The Big Questions in Computation, Intelligence and Life
as author at  Alan Turing Centenary Conference Manchester, 2012,
together with: Barry Cooper (moderator), Ronald J. Brachman, Carole Goble, Martin Davis, Moshe Y. Vardi, Roger Penrose, George Ellis, Hans Meinhardt, Bertrand Meyer,
  panel
flag The Big Questions in Computation, Intelligence and Life
as author at  Alan Turing Centenary Conference Manchester, 2012,
174 views