University of Birmingham > Talks@bham > Computer Science Departmental Series > Picturing Quantum Processes. A first course in quantum theory and diagrammatic reasoning.

Picturing Quantum Processes. A first course in quantum theory and diagrammatic reasoning.

Add to your list(s) Download to your calendar using vCal

If you have a question about this talk, please contact Mohammad Tayarani.

Host: Mohammad Tayarani, m.tayarani@cs.bham.ac.uk

We present quantum theory and quantum computation entirely in terms of diagrams. An entire course on each of these subject can indeed be given in entirely diagrammatic terms, including, for example, parts of arguments that even in the usual textbooks are not treated formally. The conceptual underpinning is to take composition of systems as the primitive connective, having drawn lessons from some of the shortcomings of other axiomatic approaches for quantum theory. Our approach favours general processes over states, very much in line with the computer science tradition.

This talk is part of the Computer Science Departmental Series series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

 

Talks@bham, University of Birmingham. Contact Us | Help and Documentation | Privacy and Publicity.
talks@bham is based on talks.cam from the University of Cambridge.