
Be the first to like this
Published on
Original Link:
http://dauns.math.tulane.edu/~mwm/WIP2009/slides/samson.pdf
WORKSHOP ON INFORMATIC PHENOMENA (2009):
http://dauns.math.tulane.edu/~mwm/WIP2009/Titles_and_Abstracts.html
Clipping is a handy way to collect important slides you want to go back to later.
In my lectures, I will describe a broad program that has been initiated to model information flow in these and related areas. This includes a highlevel reformulation of quantum information and quantum computing using category theory that have been shown to capture all of the fundamental components of the theory. The approach supports reasoning about classical and quantum communication in the same model. The approach also has provided what are arguably the first completely formal descriptions and proofs of correctness of several key quantum informatic protocols, e.g. (logicgate) teleportation, superdense coding, and oneway computational schemes. It also provides a description of the quantum state, as well as the flow of information from the quantum state to the classical world (measurements), and from the classical world to the quantum state (control), all of which are important for reasoning about security in a quantum setting.'
http://129.81.170.14/~mwm/clifford/Site/Abstracts.html
Speaker: Samson Abramsky (University of Oxford)
Title: Information flow in physics, geometry, logic and computation V
Event: Clifford Lectures 2008 (March 2008, Tulane University)
http://www.youtube.com/watch?v=pmwbcW4E35c