ÉRIC OLIVER PAQUETTE

Éducation

Fév. 2008: Session de travail sur la représentation graphique de protocoles quantique au Computer Laboratory, University of Oxford. Financé par l'EPSRC advanced research fellowship de Bob Coecke.

Nov. - Déc. 2005: Session de travail au Computer Laboratory, University of Oxford, supervisé par S. Abramsky et B. Coecke.

Affiliations

Je suis membre du réseau QICS (site d'Oxford) et de QNET.

Prix et mention

- La thèse de doctorat a reçu la mention « classée dans le meilleur 15% des thèses de doctorat du DIRO ».
- Meilleur mémoire de maîtrise de l'année 2004 pour le département de mathématiques et statistiques de l'Université d'Ottawa.

Emplois

Publications

1. Bob Coecke, Éric Oliver Paquette et Dusko Pavlovic, Classical and quantum structures. à paraître dans: Semantic techniques in Quantum Computation. S. Gay et I. Mackie, Éds. Cambridge University Press.
2. Bob Coecke et Éric Oliver Paquette, Categories for the practising physicists. À paraître dans: New structures in physics. B. Coecke Éd. Springer Lecture Notes in Physics.
3. Prakash Panangaden et Éric Oliver Paquette, A categorical presentation of quantum computation with anyons. À paraître dans New structures in physics. B. Coecke Éd. Springer Lecture Notes in Physics.
4. Éric Oliver Paquette, Categorical quantum computation. Thèse de doctorat, Université de Montrèal, 2009.
5. Bob Coecke, Éric Oliver Paquette et Simon Perdix, Bases in diagrammatic quantum protocols. Proceedings of the 24th Conference on the Mathematical Foundation of Programming Semantics (MFPS XXIV). Electronic Notes in Theoretical Computer Science, Vol. 218, pp. 131-152, 2008.
6. Bob Coecke et Éric Oliver Paquette, POVMs and Naimark's theorem without sums. Proceedings of the 4th International Workshop on Quantum Programming Languages (QPL'06). Electronic Notes in Theoretical Computer Science, Vol. 210, pp. 123-137, 2008.
7. Éric Oliver Paquette, A categorical semantics for topological quantum computation. Master's thesis, University of Ottawa, 2004.

Conférences invitées

1. Topological quantum computing with anyons. Presentat at 4th CLP Workshop, Imperial College, London, 2009.
2. Categories and quantum computing with anyons. Presenté à l'atelier Logic, Physics and Quantum Information Theory, Ballairs Research Institute of McGill University, Barbades, 2008.
3. Anyons and ribbon categories. Presenté à Categorical quantum logic, University of Oxford, 2007.
4. POVMs and Naimark's theorem without sums. Presenté à Logical and semantical methods in quantum computation, Bellairs Research Institute of McGill University, Barbades, 2004.

Conférences

1. Classical and quantum structuralism. Presented au Third QNET Workshop, 2008.
   
2. Quantum Decoherence. Presenté à Applications of traces to algebra, analysis and categorical logic, University of Ottawa, 2007.
3. The classical world from quantum theory. Presenté à Category Theory Octoberfest 2006, University of Ottawa, 2006.
4. Recasting POVMs in the category of completely positive maps. Presenté à Q-day II: Mathematical structures in quantum informatics, Paris, 2005.
5. Towards Quantum Types. Presenté à CS-QIC'05, University of Calgary, 2005.
6. Towards a categorical semantics for topological quantum computation. Presenté à Category Theory Octoberfest, McGill University, 2004.

Contributions et posters

1. POVMs and Naimark's theorem without sums. Presenté au 4th International Workshop on Quantum Programming Languages (QPL'06), 2006.
2. Towards quantum types. Poster presenté à Quantum Information, Computation and Logic: Exploring New connections, Perimeter Institute, Waterloo, 2005.

Ainsi que plusieurs séminaires présentés à l'Université de Montréal au Laboratoire d'Informatique Théorique et Quantique (LITQ), à l'Université d'Ottawa devant le Logic and Foundation of Computing group (LFC) and et aux Category theory seminars de McGill University.

De plus, j'ai participé à l'organisation de l'atelier CoQL en 2007 et Cats Kets and Cloisters en 2006. Ces deux événements ont eu lieu au Computing Laboratory, University of Oxford.