SICSA CSE Lecture Series with Prof. Samson Abramsky

Date(s) - 10/06/2013 - 13/06/2013
All Day

SHSC Conference & Training Centre, Edinburgh

Professor Samson Abramsky
Monday 10th June 2013, 11:00am 4.31/4.33
Wednesday 12th June 2013, 11am 4.31/4.33
Thursday 13th June 2013, 11am G03

We are pleased to inform you Prof. Samson Abramsky will be visiting University of Edinburgh from June 9 – 14 and will present a series of lectures. The lectures will be self-contained, and should be accessible both to computer scientists and to physicists working in quantum information. All PhD students are particularly encouraged to participate.

The Logic and Geometry of Non-locality and Contextuality
We shall show how quantum non-locality and contextually are naturally described and unified in the language of sheaf theory. This leads to several concrete developments in quantum information and foundations:

– a novel classification of multipartite entangled states in terms of their degree of non-locality
– a topological analysis of entanglement monogamy and macroscopic locality
– a cohomological characterisation of contextuality
– a unifying principle for Bell inequalities based on logicalconsistency conditions

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 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 was the CliffordLecturer 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.

This entry was posted in .