- Home »
- Michele Mosca

Institute for Quantum Computing (IQC)

Area of Research:

Website: http://www.iqc.ca/~mmosca/

Email: mmosca@perimeterinstitute.ca

Phone: x8601

Dr. Michele Mosca obtained his DPhil in 1999 from the University of Oxford. He is co-founder and the Deputy Director of the Institute for Quantum Computing at the University of Waterloo, a Professor in the Department of Combinatorics & Optimization of the Faculty of Mathematics, and a founding member of Waterloo's Perimeter Institute for Theoretical Physics. Dr. Mosca has made major contributions to the theory and practice ofquantum information processing. He has done pioneering work in quantum algorithms, including the development and application of the phase estimation approach to quantum algorithms. Together with collaborators at Oxford, he realized several of the first implementations of quantum algorithms using nuclear magnetic resonance. In the area of quantum cryptography, he and his collaborators developed fundamental methods for performing reliable computations with untrusted quantum apparatus, defined the notion of private quantum channels, and developed optimal methods for encrypting quantum information using classical keys. Dr. Mosca's work is published widely in top journals, and he co-authored the respected textbook "An Introduction to Quantum Computing" (OUP). Dr. Mosca has won numerous academic awards and honours, including Canada's Top 40 under 40 (2011), the Premier's Research Excellence Award (2000-2005), Fellow of the Canadian Institute for Advanced Research (CIFAR) since 2010, and a Canada Research Chair in Quantum Computation (2002-2012).

I work on understanding the power of quantum information and its potential applications, in particular on quantum algorithms and complexity, quantum cryptography and testing, and also on problems related to the implementation of quantum information processing.

- 2001-present, Associate Faculty Member, Perimeter Institute for Theoretical Physics
- 2001-present, Deputy Director, Institute for Quantum Computing, University of Waterloo.
- 1999-present, Faculty Member, Department of Combinatorics & Optimization, University of Waterloo (Full Professor since July 2009).
- 1999-present, Member, Centre for Applied Cryptographic Research, University of Waterloo.

- Queen Elizabeth II Diamond Jubilee Medal (2013)
- University Research Chair, University of Waterloo, 2012-present.
- Canada's Top 40 under 40, 2010.
- Fellow of the Canadian Institute for Advanced Research (CIFAR) program in Quantum Information.
- Recipient of the Waterloo Region 40 under 40: "Honouring those making a difference in our region".
- Visiting Fellow at King's College, University of Cambridge, October 2005.
- One of 15 PAGSE Symposium "Leaders of Tomorrow", Ottawa, Canada, 2004. The Partnership Group for Science and Engineering was formed in June 1995 at the invitation of the Academy of Science of the Royal Society of Canada to represent the Canadian science and engineering community to the Government of Canada.
- Scholar of the Canadian Institute for Advanced Research (CIFAR) program in Quantum Information since 2003.
- Canada Research Chair (Tier 2), 2002 & 2007 ($1M)
- Premier's Research Excellence Award, Ontario, 2000-2005. ($100k)
- Fellow of the Institute for Combinatorics and its Applications, 2000-present.
- Robin Gandy Junior Research Fellowship, Wolfson College, Oxford, 1998-1999.

- D. Gosset, V. Kliuchnikov, M. Mosca, V. Russo, "An algorithm for the T-count", Quantum Information Computation (QIC) Vol.14 No.15&16, pp 1261-1276 (2014) arXiv: 1308.4134
- Matt Amy, Dmitri Maslov, Michele Mosca, "Polynomial-Time T-Depth Optimization of Clifford+T Circuits Via Matroid Partitioning", IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Volume 33 , Issue 10 , pp.1476 - 1489 (2014).
- L. Ioannou and M. Mosca, "Public-key cryptography based on bounded quantum reference frames", to appear in Theoretical Computer Science (special issue on QKD). [arXiv: 0903.5156]
- V. Kliuchnikov, D. Maslov, and M. Mosca, "Fast and efficient exact synthesis of single qubit unitaries generated by Clifford and T gates", Vol 13, No. 7, pp 607-630, Quantum Information and Computation (2013).
- M. Amy, D. Maslov, M. Mosca, M. Roetteler, "A Meet in the Middle Algorithm for Fast Synthesis of Depth-Optimal Quantum Circuits", IEEE transactions on computer-aided design of integrated circuits and systems, Vol. 32, pp. 818-830 (2013).
- M. Mosca, D. Stebila, B. Ustaoglu, "Quantum Key Distribution in the Classical Authenticated Key Exchange Framework", In Proceedings of the 5th International Conference on Post-Quantum Cryptography (PQCrypto 2013), Lecture Notes in Computer Science, Vol 7932, pp 136-154, Springer (2013)
- T. Laarhoven, M. Mosca, J. van de Pol, "Solving the shortest vector problem in lattices faster using quantum search", In Proceedings of the 5th international Conferences on Post-Quantum Cryptography (PQCrypto 2013), Lecture Notes in Computer Science, Vol. 7932, pp. 83-101, Springer (2013).
- V. Kliuchnikov, D. Maslov, and M. Mosca, "Asymptotically optimal approximation of single qubit unitaries by Clifford and T circuits using a constant number of ancillary qubits", Physical Review Letters, 110, 190502 (2013).
- L. Ioannou and M. Mosca, "A new spin on Quantum Cryptography: Avoiding trapdoors and embracing public keys", to appear in Proceedings of the Fourth International Conference on Post-Quantum Cryptography (PQCrypto 2011), Lecture Notes in Computer Science, Vol. 7071, pp. 255-274, Springer, 2011.
- M. McKague and M. Mosca, "Generalized self-testing and the security of the 6-state protocol", In Proceedings of 5th Conf. on Theory of Quantum Computation, Communication & Cryptography (TQC2010), Lecture Notes in Computer Science, Vol. 6519, pp. 113-130, 2011.
- Michele Mosca, Douglas Stebila, "Quantum Coins", Error-Correcting Codes, Finite Geometries and Cryptography, Contemporary Mathematics, Vol. 523, pp. 35-47. American Mathematical Society, (Eds. A. A. Bruen and D. L. Wehlau), 2010. (arXiv: 0911.1295)
- L. Ioannou and M. Mosca, "Universal quantum computation in a hidden basis", Quantum Information and Computation, Vol.10 No.7&8 July 1, 2010, pp. 541-561 (2010). arXiv: 0810.2780
- Tzu-Chieh Wei, Michele Mosca, Ashwin Nayak, "Interacting boson problems are QMA-hard", Phys. Rev. Lett. 104, 040501 (2010). arXiv: 0905.3413
- Douglas Stebila, Michele Mosca, Norbert Luetkenhaus, "The Case for Quantum Key Distribution" Proceedings of QuantumComm 2009 Workshop on Quantum and Classical Information Security, Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, volume 36, page 283--296. Springer, 2010. arXiv: 0902.2839 [
- L. Sheridan, D. Maslov, M. Mosca, "Approximating Fractional Time Quantum Evolution", Journal of Physics A: Math. Theor. 42 (2009) 185302. arXiv: 0810.3843
- M. McKague, M. Mosca and N. Gisin, "Simulating Quantum Systems Using Real Hilbert Spaces", Physical Review Letters, 102 (2), 020505 (2009). arXiv: 0810.2780
- W. van Dam, F. Magniez, M. Mosca and M. Santha, "Self-testing of universal and fault-tolerant sets of quantum gates", SIAM Journal on Computing, Vol. 37, No. 2, 611-629 (2007).
- R. Cleve, D. Gottesman, M. Mosca, R.D. Somma, D.L. Yonge-Mallo, Efficient discrete-time simulations of continuous-time quantum query algorithms, Proc. 41st Ann. Symp. on Theory of Computing, 409-416 (2009), arXiv: 0811.4428
- L. Sheridan, D. Maslov, M. Mosca, Approximating Fractional Time Quantum Evolution, J. Phys. A: Math. Theor. 42 (2009) 185302, arXiv: 0810.3843
- Wim van Dam, G. Mauro D'Ariano, Artur Ekert, Chiara Macchiavello, Michele Mosca, Optimal phase estimation in quantum networks, Journal of Physics A: Mathematical and Theoretical, Volume 40, pages 7971-7984 (2007), arXiv: 0706.4412
- D. Maslov, S. M. Falconer, M. Mosca, Quantum Circuit Placement, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 27(4):752-763, April 2008, arXiv: quant-ph/0703256
- Lawrence M. Ioannou, Michele Mosca, Limitations of some simple adiabatic quantum algorithms, International Journal of Quantum Information, Vol. 6, No. 3 (June 2008), arXiv: quant-ph/0702241
- Carlos A. Perez-Delgado, Michele Mosca, Paola Cappellaro, David G. Cory, Single spin measurement using cellular automata techniques, Physical Review Letters 97, 100501 (2006)., arXiv: quant-ph/0601054
- Fast and efficient exact synthesis of single qubit unitaries generated by Clifford and T gates,V. Kliuchnikov, D. Maslov, and M. Mosca, arXiv: 1206.5236
- M. Mosca (editor), "Post-Quantum Cryptography-6th International Workshop, PQCrypto 2014", Lecture Notes in Computer Science, Springer, Vol. 8772 (2014).
- S.Fehr, M. Mosca, M. Rötteler and R. Steinwandt, "Quantum Cryptanalysis", Dagstuhl Reports, Vol. 3, Issue 9 (2014).
- M.Mosca, G. Lenhart, M. Pecen (editors), e-proceedings of "1st Quantum-Safe-Crypto Workshop", Sophia Antipolis, Sep 26-27, 2013.
- Jamie Smith, Michele Mosca, "Algorithms for Quantum Computers" in Handbook of Natural Computing, Springer arXiv: 1001.0767
- S.Fehr, M. Mosca, M. Rötteler and R. Steinwandt, "Quantum Cryptanalysis", Dagstuhl Reports, Vol. 1, Issue 9 (2011).
- A. Childs, M. Mosca (editors), "Proceedings of the 4th Workshop on Theory of Quantum Computation, Communication, and Cryptography (TQC 2009)", Lecture Notes in Computer Science, Springer, Volume 5906, 2009.
- M. Mosca, "Quantum Algorithms", Encyclopedia of Complexity and Systems Science (ed.: Robert Meyers) 2009. arXiv: 0808.0369
- M. Mosca, "Abelian Hidden Subgroup Problem", Encyclopedia of Algorithms, (ed.: Ming-Yang Kao), Springer, pp. 1-4, (2008).
- P. Kaye, R. Laflamme, M. Mosca, "An Introduction to Quantum Computation", Oxford University Press, (ISBN: 0198570007), 2007.
- M. Mosca, "Quantum Algorithms and Complexity", Proceedings of NATO ASI Quantum Computation and Information 2005, Chania, Crete, Greece, IOS Press, pp. 121-136, (2006).
- M. Mosca, "The Promise of Quantum Computing", Essays by Leading Canadian Researchers (eds: J. Downey and L. Claxton), Key-Porter Books (2002).

- "Towards Quantum-Safe Cryptography", Physics and Applied Physics Seminar, NTU, Singapore, August 2014.
- "Towards Quantum-Safe Cryptography", Internet Research Task Force (IRTF) Open Meeting (invited talk), July 2014.
- "Quantum software and quantum-safe cryptography", Microsoft Research, Quantum Architectures and Computation Group (QuArC), July 2014.
- "Quantum software and quantum-safe cryptography", Institut Transdisciplinaire d'Information Quantique (INTRIQ) meeting, Bromont, Canada, May 2014.
- "Preparing for the Future World of Quantum Computing", Taft lecture, Taft Research Center, Cincinnati, USA, December 2, 2013.
- "Computer and Internet Security", NSERC ISSNet Summer Security Week, Calgary, Canada, July 2013.
- "Quantum Computing and the Synthesis and Optimization of Quantum Circuits", 5th conference on Reversible Computation (RC2013), Victoria, Canada, July 2013.
- "Quantum Key Distribution in the Classical Authenticated Key Exchange Framework", ICQIT2013, Tokyo, Japan, January 2013.
- "Unconditionally-secure and reusable public-key authentication", Workshop on Quantum Computer Science, Montreal, October 2011.
- "Bridging Quantum Algorithms with Quantum Architectures", Quantum Africa 2, Northern Drakensberg, South Africa, September 2012.
- "Quantum Computing, Cryptography and Compilers", Plenary Lecture at IEEE 42nd International Symposium on Multiple-Valued Logic (ISMVL-2012), Victoria, May 2012.
- "Cryptography in a Quantum World", Internet Engineering Task Force 81, Quebec City, July 2011.
- "Hot Topics in Crypto" Panel Presentation and Discussion, Certicom Research Elliptic Curve Cryptography (ECC) Conference, June 2011.
- 11th Canadian Summer School on Quantum Information, Jouvence, Quebec, June 6th - 11th, 2011.
- Undergraduate School on Experimental Quantum Information Processing (USEQIP 2011) May 30th, 2011.
- "Trends in QIP", Centre for Quantum Technologies, National University of Singapore, August 2010.
- "Quantum Computing", invited talk at the Canadian Undergraduate Mathematics Conference, Waterloo, July 2010
- Lyons Invited Speaker, Canadian Mathematics Competition Seminar, week of June 7, 2010.
- Error Control Codes, Information Theory and Applied Cryptography Workshop, Summer Meeting of the Canadian Mathematics Society, Fredericton, Canada, June 2010.
- "Quantum Algorithms and Complexity", International Workshop on Statistical-Mechanical Informatics, (IW-SMI2008), Sendai, Japan (2008).
- 9th Annual Canadian Summer School on Quantum Information, Toronto, August 2009.
- Classical and Quantum Information Assurance Foundations and Practice, Dagstuhl Seminar 09311, July 2009.
- International Seminar on Quantum Networking, IMDEA Networks (Inst. Madrile?o de Estudios Avanzados), Madrid, Spain, June 2009.
- PCTS-MITRE Quantum Computation Seminar Series, Princeton University, 29 April 2009 "Discrete-Time Simulations of Continuous-Time Quantum Query Algorithms
- "Cryptography in a Quantum World", Centre for Information Security and Cryptography (CISaC), Distinguished Lecture Series, April 2009.
- "Quantum Information and its application to cryptography", Calgary Institute for Quantum Information Science (IQIS) seminar, April 2009.
- PIRSA:12040122, OAPT - Mike Mosca, 2012-04-27,
- PIRSA:11070091, Introduction to Quantum Information Processing, 2011-07-20, Women in Physics Canada
- â??Quantum Cryptographyâ??, Laurier CSASM Seminar Series, Wilfred Laurier University, January 2011.
- PIRSA:09100032, Harnessing Quantum Physics, 2009-10-18, Quantum to Cosmos Festival - Tickets Available starting TUE. Sep 8, 2009
- PIRSA:08080046, Tomography without trusted apparatus, 2008-08-29, Quantum Estimation: Theory and Practice
- PIRSA:06110011, Self-Testing of Quantum Circuits, 2006-11-15, Colloquium
- PIRSA:06050018, Introduction to quantum technologies: quantum computers, quantum teleporters & quantum cryptography, 2006-05-27, Innovative Teaching Strategies for Modern Physics

©2012 Perimeter Institute for Theoretical Physics