LFCS Seminar by Sam Staton : Quantum computation, algebraic effects and linearity.
—
filed under:
LFCS Seminar
What 


When 
Sep 26, 2014 from 02:00 PM to 03:00 PM 
Where  4.314.33 
Add event to calendar 
vCal iCal 
Title:
Quantum computation, algebraic effects and linearity.
Sam Staton, Radboud University Nijmegen
Abstract:
I will present a framework for algebraic theories with linear parameters, and I will use it to analyze the equational reasoning principles of quantum computing. More precisely, I will present a new equational theory of quantum computations that is fully complete for the model of C*algebras and completely positive maps.
I won't assume much familiarity with quantum computing.