concurrent programming. (with S Gay and R Nagarajan). NATO ASI SERIES F COMPUTER AND SYSTEMS SCIENCES 152 1997. Specifying interaction categories. (with D Pavlović). Category Theory and Computer Science 2002. Geometry of interaction and linear combinatory algebras. (with E Haghverdi and P Scott). Mathematical Structures in Computer Science 12 (5) 2003. Sequentiality vs. concurrency in games and logic. Mathematical Structures in Computer Science 13 (4) Some of the recent works of Samson Abramsky include: 2013. Robust Constraint Satisfaction and Local Hidden Variables in Quantum Mechanics. (with G. Gottlob and P. Kolaitis). IJCAI 2013 2012. Logical Bell Inequalities. (with Lucien Hardy). In Physical Review A. Vol. 85. No. ARTN 062114 2010. Introduction to categories and categorical logic. (with N. Tzevelekos). In New Structures for Physics. Springer. Awards and honours Abramsky 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 a member of the LiCS Organizing Committee. He was elected Fellow of ACM (2014) For contributions to domains in logical form, game semantics, categorical quantum mechanics, and contextual semantics. He was awarded the BCS Lovelace Medal in 2013 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) Abramsky's nomination for the Royal Society reads: References 1953 births Living people Alumni of King's College, Cambridge Alumni of Queen Mary University of London Fellows of Wolfson College, Oxford Members of the Department of Computer Science, University of Oxford Academics of Queen Mary University of London Academics of Imperial College London Academics of the University of Edinburgh British computer scientists 20th-century British Jews British people of Belarusian-Jewish descent Jewish scientists Formal methods people Fellows of the Royal Society of Edinburgh Fellows of the Royal Society Members of Academia Europaea