People Professor Samson Abramsky
Principal Investigator, Oxford Martin Programme on Bio-Inspired Quantum Technologies
Christopher Strachey Professor of Computing
Samson's work on game semantics has focussed on developing an algorithmic approach, with applications to software model-checking and program analysis. He believes that the distinctive methods of computer science, above all compositional semantics and logic, may have much to offer across a broad sweep of the physical and biological sciences, and to the modelling of complex systems. His first detailed venture into this new territory is in the field of quantum information and computation.