- Home »
- Michele Mosca

Institute for Quantum Computing (IQC)

Area of Research:

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

Email: mmosca@perimeterinstitute.ca

Phone: x8601

I work on understanding the power of quantum information and its potential applications, in particular on quantum algorithms and complexity, quantum-safe cryptography, 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.

- S. Arunachalam, V. Gheorghiu, T. Jochym-O"Connor, M. Mosca, P. Srinivasan, "On the Robustness of Bucket Brigade Quantum RAM", In Proceedings of 10th Conf. on Theory of Quantum Computation, Communication & Cryptography(TQC2015), Vol. 44, pp. 226-244.
- T. Laarhoven, M. Mosca, and J. van de Pol, "Finding shortest lattice vectors faster using quantum search", (Springer) Designs, Codes and Cryptography, Vol. 7932, pp. 83-101 (2015).
- V. Kliuchnikov, D. Maslov, and M. Mosca, "Practical approximation of single-qubit unitaries by single-qubit quantum Clifford and T circuits", IEEE Transactions on Computers, Vol. PP, issue 99 (2015). [arXiv: 1212.6964]
- S. Raeisi, M. Mosca, "Asymptotic Bound for Heat-Bath Algorithmic Cooling", Physical Review Letter, Vol. 114, issue 10, 100400 (2015).
- L. Ioannou and M. Mosca, "Public key cryptography based on bounded quantum reference frames", Theoretical Computer Science, Vol. 560, pp. 33-45 (2014).[arXiv: 0903.5156]
- 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).
- 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. 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).
- 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).
- 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
- 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
- Tzu-Chieh Wei, Michele Mosca, Ashwin Nayak, "Interacting boson problems are QMA-hard", Phys. Rev. Lett. 104, 040501 (2010). arXiv: 0905.3413
- 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
- M.Mosca, G. Lenhart, M. Pecen (editors), e-proceedings of "2nd Quantum-Safe-Crypto Workshop", Ottawa, Oct. 6-7, 2014.
- 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).

- "Cybersecurity in a quantum world: will we be ready?" Google, Kitchener, ON, June 16, 2015.
- Invited Panelist, Hello Tomorrow Tech Conference, Paris, France, June 26, 2015.
- "Cybersecurity in a quantum world, will we be ready?" Plenary speaker, NIST workshop on Cybersecurity in a Post-Quantum World, Gaithersburg, United States, April 2-3, 2015.
- "Cybersecurity in a quantum world: will we be ready?" SERENE RISC workshop, Ottawa, ON, April 23, 2015.
- "Cybersecurity in a quantum world: will Canada be ready?" IQC Public lecture series, Waterloo, ON, March 10, 2015.
- "Moving towards a quantum-safe cryptographic infrastructure", DIMACS Workshop on The Mathematics of Post-Quantum Cryptography, New Jersey, United States, January 2015.
- "Towards Quantum-Safe Cryptography", Physics and Applied Physics Seminar, NTU, Singapore, August 2014.
- "Quantum software and quantum-safe cryptography", Microsoft Research, Quantum Architectures and Computation Group (QuArC), July 2014.
- "Towards Quantum-Safe Cryptography", Internet Research Task Force (IRTF) Open Meeting (invited talk), 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.
- "Quantum Computing and the Synthesis and Optimization of Quantum Circuits", 5th conference on Reversible Computation (RC2013), Victoria, Canada, July 2013.
- "Computer and Internet Security", NSERC ISSNet Summer Security Week, Calgary, 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.
- "Quantum Information and its application to cryptography", Calgary Institute for Quantum Information Science (IQIS) seminar, April 2009.
- "Cryptography in a Quantum World", Centre for Information Security and Cryptography (CISaC), Distinguished Lecture Series, April 2009.
- PCTS-MITRE Quantum Computation Seminar Series, Princeton University, 29 April 2009 "Discrete-Time Simulations of Continuous-Time Quantum Query Algorithms
- 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