University of Technology, Sydney

Staff directory | Webmail | Maps | Newsroom | What's on

QCIS SeminarFrom Quantum Mechanics to Logic, Databases, Constraints, and Complexity - Prof Samson Abramsky, Oxford University, UK

Presenter: Prof Samson Abramsky, Wolfson College, Oxford University and Fellow, Royal Society, UK (invited by Prof Chengqi Zhang)

Abstract: Quantum Mechanics presents a disturbingly different picture of physical reality to the classical world-view. These non-classical features also offer new resources and possibilities for information processing. At the heart of quantum non-classicality are the phenomena of non-locality, contextuality and entanglement. We shall describe recent work in which tools from Computer Science are used to shed new light on these phenomena. This has led to a number of developments, including a novel approach to classifying multipartite entangled states, and a unifying principle for Bell inequalities based on logical consistency conditions. At the same time, there are also striking and unexpected connections with a number of topics in *classical* computer science, including relational databases and constraint satisfaction. This is ongoing work, with a number of collaborators including Adam Brandenburger, Lucien Hardy, Shane Mansfield, Rui Soares Barbosa, Ray Lal, Phokion Kolaitis, Georg Gottlob, and Jouko Vaananen.

Brief Bio: 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 Organising Committee.

Prof Abramsky's paper ``Domain theory in Logical Form'' won the LiCS Test-of-Time award (a 20-year retrospective) for 1987. He was awarded an EPSRC Senior Research Fellowship on Foundational Structures and Methods for Quantum Informatics in 2007. He was the Clifford Lecturer  at Tulane University in 2008. He was awarded the BCS Lovelace Medal  in 2013.

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.




12 April 2013
16:00 - 17:00
City - Broadway CB02 Level 4, Room 10
All Welcome
Barbara Munday

Back to list of Past Events