[home]

CURRICULUM VITAE - PETER SELINGER


Updated: October 2017

PERSONAL DETAILS:

Address:Department of Mathematics and Statistics
Dalhousie University
Chase Building, P. O. Box 15000
Halifax, Nova Scotia B3H 4R2, Canada
Telephone: Office 902-494-3311
Fax 902-494-5130
E-mail:selinger@mathstat.dal.ca

EDUCATION:

University of Pennsylvania, Philadelphia, U.S.A., 1992–1997.
Ph.D. in Mathematics. Supervisor: Andre Scedrov. Thesis Title: Functionality, Polymorphism, and Concurrency: A Mathematical Investigation of Programming Paradigms.

Technische Universität Darmstadt, Darmstadt, Germany. 1989–1992.
Undergraduate studies in Mathematics, with minors in Computer Science and Theoretical Physics.

EMPLOYMENT:

Professor, Department of Mathematics and Statistics, Dalhousie University. 2012–present.
Cross-appointed in Computer Science.

Associate Professor, Department of Mathematics and Statistics, Dalhousie University. 2005–2012.
Cross-appointed in Computer Science.

Associate Professor, Department of Mathematics and Statistics, University of Ottawa. 2004–2005.
Cross-appointed in Computer Science.

Assistant Professor, Department of Mathematics and Statistics, University of Ottawa. 2001–2004.
Cross-appointed in Computer Science.

Research Associate, Computer Science Department, Stanford University. 2000–2001.

Visiting Research Assistant Professor, BRICS, Centre of the Danish National Research Foundation, Computer Science Department, Aarhus University, Denmark. January–July 1998.

Assistant Professor, Department of Mathematics, University of Michigan. 1997–2000.

AFFILIATIONS:

Visiting Researcher, Logical Structures in Computation Program, Simons Institute for the Theory of Computing, University of California at Berkeley, August–December 2016.

Visiting Research Professor, Mathematical Sciences Research Institute (MSRI), Berkeley, California, August–December 2012.

Affiliate Member, Perimeter Institute for Theoretical Physics, Waterloo, Ontario, 2012–2017.

Adjunct Professor, Department of Mathematics and Statistics, University of Ottawa. 2005–2016.

HONORS:

Killam Professorship, Faculty of Science, Dalhousie University. 2017–2022.

GRANTS AND AWARDS:

NSERC Discovery Grant, Computer Science, 2017–2022.

NSERC Accelerator Supplement, Computer Science, 2017–2020.

AFOSR Research Grant, U.S. Air Force Office of Scientific Research. 2015–2020.

MURI Research Grant, unsupported participant, U.S. Department of Defense Multidisciplinary Research Program of the University Research Initiative. Collaborative effort with Tulane University, Stanford University, the University of Pennsylvania, the University of Iowa, McGill University, Oxford University, and the University of Edinburgh. 2015-2018.

NSERC Discovery Grant, Computer Science, 2012–2017.

IARPA Research Contract, U.S. Intelligence Advanced Research Projects Agency, Quantum Computer Science Program. Collaborative effort with industrial partner Applied Communication Sciences and four U.S. universities. 2011–2013.

CFI Infrastructure Operating Fund, Canada Foundation for Innovation, 2008–2009.

NSERC Discovery Grant, Computer Science, 2006–2012.

NSRIT Infrastructure Support, Nova Scotia Research and Innovation Trust, 2005.

Startup Funds, Dalhousie University, 2005.

CFI Infrastructure Operating Fund, Canada Foundation for Innovation, 2004–2006.

CFI New Opportunities Fund, Canada Foundation for Innovation, 2003–2006.

OIT Infrastructure Support, Ontario Innovation Trust, 2003–2005.

CFI matching funds, Faculty of Science, University of Ottawa, 2003–2005.

Premier's Research Excellence Award (PREA), Government of Ontario, 2003–2008.

PREA matching funds, Faculty of Science, University of Ottawa, 2003–2008.

NSERC Individual Research Grant, Computer Science, 2001–2006.

Startup Funds, University of Ottawa, 2001–2003.

Doctoral Dissertation Fellowship, Alfred P. Sloan Foundation, 1996–1997.

Dissertation Fellowship, School of Arts and Sciences, University of Pennsylvania, 1995–1996.

Dissertation Fellowship, Institute for Research in Cognitive Science, University of Pennsylvania, 1995.

German National Scholarship Foundation Fellowship, 1991–1994.

GRADUATE SUPERVISIONS:

Completed:
  • Neil J. Ross, "Algebraic and logical methods in quantum computation", Ph.D. thesis, Dalhousie University, August 2015.
  • Seth Greylyn, "Generators and relations for the group U₄(ℤ[1/√2, i])", M.Sc. thesis, Dalhousie University, August 2014.
  • Octavio Malherbe, "Categorical models of computation: partially traced categories and presheaf models of quantum computation", Ph.D. thesis, University of Ottawa, August 2010. Jointly supervised with P.J. Scott.
  • Benoît Valiron, "Semantics for a higher order functional programming language for quantum computation", Ph.D. thesis, University of Ottawa, September 2008.
  • Benoît Valiron, "A functional programming language for quantum computation with classical control", M.Sc. thesis, University of Ottawa, August 2004.
  • Éric Paquette, "A categorical semantics for topological quantum computation", M.Sc. thesis, University of Ottawa, October 2004. Award "Master's thesis of the year in mathematics", University of Ottawa.
  • Brett Giles, visiting Ph.D. student, August–December 2012.
  • 8 postdoctoral researchers 2001–2013 (3 supervisor, 5 co-supervisor)
In progress:
  • 2 Ph.D. students (supervisor)
  • 4 postdoctoral researchers (3 supervisor, 1 co-supervisor)

PUBLICATIONS:

P. Selinger. A finite alternation result for reversible boolean circuits. To appear in Science of Computer Programming, 2017.

F. Rios, P. Selinger. A categorical model for a quantum circuit description language. To appear in Proceedings of the 14th International Conference on Quantum Physics and Logic (QPL 2017), Nijmegen. 12 pages, 2017. Available from arXiv:1706.02630.

N.J. Ross, P. Selinger. Optimal ancilla-free Clifford+T approximation of z-rotations. In Quantum Information and Computation 16(11–12):901–953, 2016. Available from arXiv:1403.2975.

P. Selinger. A finite alternation result for reversible boolean circuits. Extended abstract. In Proceedings of the 8th International Conference on Reversible Computation (RC 2016), Bologna, Italy, Lecture Notes in Computer Science 9720:271–285, Springer, 2016.

B. Valiron, N.J. Ross, P. Selinger, D.S. Alexander, J.M. Smith. Programming the quantum future. Communications of the ACM 58(8):52–61, 2015.

P. Selinger. Generators and relations for n-qubit Clifford operators. Logical Methods in Computer Science 11(2:10):1–17, 2015.

P. Selinger. Efficient Clifford+T approximation of single-qubit operators. Quantum Information and Computation 15(1–2):159–180, 2015.

J.M. Smith, N.J. Ross, P. Selinger, B. Valiron. Quipper: concrete resource estimation in quantum algorithms. Extended abstract of a talk given at the 12th International Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2014), Grenoble, France, April 12–13, 2014. Available from arXiv:1412.0625.

M. Pagani, P. Selinger, B. Valiron. Applying quantitative semantics to higher-order quantum computing. In Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2014), San Diego, ACM SIGPLAN Notices 49(1):647–658, January 2014.

C. Heunen, A. Kissinger, P. Selinger. Completely positive projections and biproducts. In Proceedings of the 10th International Workshop on Quantum Physics and Logic (QPL 2013), Barcelona. Electronic Proceedings in Theoretical Computer Science 171:71–83, 2014.

B. Giles, P. Selinger. Remarks on Matsumoto and Amano's normal form for single-qubit Clifford+T operators. Preprint, 13 pages, December 2013. Available from arXiv:1312.6584.

A.S. Green, P.L. Lumsdaine, N.J. Ross, P. Selinger, B. Valiron. An introduction to quantum programming in Quipper. In Proceedings of the 5th International Conference on Reversible Computation (RC 2013), Victoria, BC, Canada, Lecture Notes in Computer Science 7948:110–124, Springer, 2013.

O. Malherbe, P. Scott, P. Selinger. Presheaf models of quantum computation: an outline. In Bob Coecke, Luke Ong, Prakash Panangaden, editors, Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky. Lecture Notes in Computer Science 7860:178–194, Springer, 2013.

A.S. Green, P.L. Lumsdaine, N.J. Ross, P. Selinger, B. Valiron. Quipper: a scalable quantum programming language. In Proceedings of the 34th annual ACM SIGPLAN conference on Programming Language Design and Implementation (PLDI 2013), Seattle, ACM SIGPLAN Notices 48(6):333–342, June 2013.

B. Giles, P. Selinger. Exact synthesis of multiqubit Clifford+T circuits. Physical Review A 87, 032332 (7 pages), 2013.

P. Selinger. Quantum circuits of T-depth one. Physical Review A 87, 042302 (4 pages), 2013.

P. Selinger. Finite dimensional Hilbert spaces are complete for dagger compact closed categories. Logical Methods in Computer Science 8(3:6):1–12, 2012.

O. Malherbe, P.J. Scott, P. Selinger. Partially traced categories. Journal of Pure and Applied Algebra 216(12):2563–2585, 2012.

P. Selinger. A survey of graphical languages for monoidal categories. Book chapter. In Bob Coecke, editor, New Structures for Physics, Lecture Notes in Physics 813:289–355, Springer, 2011.

P. Selinger. Finite dimensional Hilbert spaces are complete for dagger compact closed categories. Extended abstract. In Proceedings of the 5th International Workshop on Quantum Physics and Logic (QPL 2008), Reykjavik. Electronic Notes in Theoretical Computer Science 270(1):113–119, Elsevier, 2011.

P. Selinger. Autonomous categories in which A is isomorphic to A*. Extended abstract. In Proceedings of the 7th International Workshop on Quantum Physics and Logic (QPL 2010), Oxford, pp. 151–160, 2010.

P. Selinger, B. Valiron. Quantum lambda calculus. Book chapter. In Simon Gay and Ian Mackie, editors, Semantic Techniques in Quantum Computation, Cambridge University Press, pp. 135–172, 2009.

P. Selinger, B. Valiron. A linear-non-linear model for a computational call-by-value lambda calculus. Extended abstract. In Proceedings of the Eleventh International Conference on Foundations of Software Science and Computation Structures (FOSSACS 2008), Budapest. Lecture Notes in Computer Science 4962:81–96, Springer, 2008.

P. Selinger. Idempotents in dagger categories. Extended abstract. In Proceedings of the 4th International Workshop on Quantum Programming Languages (QPL 2006), Oxford. Electronic Notes in Theoretical Computer Science 210:107–122, Elsevier, 2008.

P. Selinger, B. Valiron. On a fully abstract model for a quantum linear functional language. Extended abstract. In Proceedings of the 4th International Workshop on Quantum Programming Languages (QPL 2006), Oxford. Electronic Notes in Theoretical Computer Science 210:123–137, Elsevier, 2008.

M. Caboara, S. Faridi, P. Selinger. Simplicial cycles and the computation of simplicial trees. Journal of Symbolic Computation 42:74–88, 2007.

P. Selinger. Dagger compact closed categories and completely positive maps. Extended abstract. In Proceedings of the 3rd International Workshop on Quantum Programming Languages (QPL 2005), Chicago. Electronic Notes in Theoretical Computer Science 170:139–163, Elsevier, 2007.

P. Selinger, B. Valiron. A lambda calculus for quantum computation with classical control. Mathematical Structures in Computer Science 16(3):527–552, 2006.

M. Caboara, S. Faridi, P. Selinger. Tree checking for sparse complexes. In Proceedings of the Second International Congress on Mathematical Software (ICMS 2006), Castro-Urdiales, Spain. Lecture Notes in Computer Science 4151:110–121, Springer, 2006.

P. Selinger, B. Valiron. A lambda calculus for quantum computation with classical control. In Proceedings of the Seventh International Conference on Typed Lambda Calculi and Applications (TLCA 2005), Nara, Japan. Lecture Notes in Computer Science 3461:354–368, Springer, 2005.

M. Caboara, S. Faridi, P. Selinger. Simplicial tree computations. Extended abstract. In Proceedings of the 8th International Symposium on Effective Methods in Algebraic Geometry (MEGA 2005), Sardinia, Italy. 13 pages, 2005.

P. Selinger. Towards a semantics for higher-order quantum computation. In Proceedings of the 2nd International Workshop on Quantum Programming Languages, Turku, Finland. TUCS General Publication No 33, Turku Centre for Computer Science, pp. 127–143, June 2004.

P. Selinger. A brief survey of quantum programming languages. In Proceedings of the 7th International Symposium on Functional and Logic Programming, Nara, Japan. Lecture Notes in Computer Science 2998:1–6, Springer, 2004.

P. Selinger. Towards a quantum programming language. Mathematical Structures in Computer Science 14(4):527–586, 2004.

P. Selinger. Order-incompleteness and finite lambda reduction models. Theoretical Computer Science 309(1):43–63, 2003.

P. Selinger. The lambda calculus is algebraic. Journal of Functional Programming 12(6):549–566, 2002.

P. Selinger. Control categories and duality: on the categorical semantics of the lambda-mu calculus. Mathematical Structures in Computer Science 11(2):207–260, 2001.

P. Selinger. Models for an adversary-centric protocol logic. In Proceedings of the 1st Workshop on Logical Aspects of Cryptographic Protocol Verification, Paris. Electronic Notes in Theoretical Computer Science 55(1):73–87, Elsevier, 2001.

P. Selinger. Categorical structure of asynchrony. In Proceedings of the Fifteenth Annual Conference on Mathematical Foundations of Programming Semantics, New Orleans. Electronic Notes in Theoretical Computer Science 20:158–181, Elsevier, 1999.

P. Selinger. First-order axioms for asynchrony. In Proceedings of the Eighth International Conference on Concurrency Theory, Warsaw. Lecture Notes in Computer Science 1243:376–390. Springer, 1997.

P. Selinger. Order-incompleteness and finite lambda models. Extended abstract. In Proceedings of the Eleventh Annual IEEE Symposium on Logic in Computer Science, New Brunswick, New Jersey, pp. 432–439. IEEE Computer Society Press, 1996.

BOOKS EDITED:

Proceedings of the 12th International Workshop on Quantum Physics and Logic, QPL 2015, Oxford. C. Heunen, P. Selinger, and J. Vicary, editors. Electronic Proceedings in Theoretical Computer Science 195, 2015.

Proceedings of the 8th International Workshop on Quantum Physics and Logic, QPL 2011, Nijmegen. B. Jacobs, P. Selinger, and B. Spitters, editors. Electronic Proceedings in Theoretical Computer Science 95, 2012.

Proceedings of the 7th International Workshop on Quantum Physics and Logic, QPL 2010, Oxford. B. Coecke, P. Panangaden, and P. Selinger, editors, 2010.

Proceedings of the 26th International Conference on the Mathematical Foundations of Programming Semantics, MFPS 2010, Ottawa. M. Mislove and P. Selinger, editors. Electronic Notes in Theoretical Computer Science 265, Elsevier, 2010.

Proceedings of the 6th International Workshop on Quantum Physics and Logic, QPL 2009, Oxford. B. Coecke, P. Panangaden, and P. Selinger, editors. Electronic Notes in Theoretical Computer Science 270(2), Elsevier, 2011.

Proceedings of the 5th International Workshop on Quantum Physics and Logic (formerly Quantum Programming Languages), QPL 2008, Reykjavik. B. Coecke, I. Mackie, P. Panangaden, and P. Selinger, editors. Electronic Notes in Theoretical Computer Science 270(1), Elsevier, 2011.

Proceedings of the 4th International Workshop on Quantum Programming Languages, QPL 2006, Oxford. P. Selinger, editor. Electronic Notes in Theoretical Computer Science 210, Elsevier, 2008.

Proceedings of the 3rd International Workshop on Quantum Programming Languages, QPL 2005, Chicago. P. Selinger, editor, Electronic Notes in Theoretical Computer Science 170, Elsevier, 2007.

Proceedings of the 2nd International Workshop on Quantum Programming Languages, QPL 2004, Turku, Finland. P. Selinger, editor. Turku Centre for Computer Science General Publication No 33, June 2004.

Proceedings of Category Theory and Computer Science, CTCS 2002, Ottawa, Canada. R. Blute and P. Selinger, editors, Electronic Notes in Theoretical Computer Science 69, Elsevier, 2003.

PRESENTATIONS AT INTERNATIONAL CONFERENCES AND WORKSHOPS:

Invited lecture, 20th International Conference on Descriptional Complexity of Formal Systems (DCFS 2018). Halifax, July 25–27, 2018.

Invited lecture, Meeting of the Quantum Information Science Program, Canadian Institute for Advanced Research. Niagara-on-the-Lake, Oct 20–22, 2017.

A compositional quantum programming language. Workshop on Compositionality. Simons Institute for the Theory of Computing, Berkeley, California, Dec 5–9, 2016.

A finite alternation result for reversible boolean circuits. Workshop on Symmetry, Logic, and Computation. Simons Institute for the Theory of Computing, Berkeley, California, Nov 7–10, 2016.

A finite alternation result for reversible boolean circuits. 8th International Conference on Reversible Computation (RC 2016), Bologna, Italy, July 7–8, 2016.

Introduction to the Quipper language. Invited tutorial, 13th International Conference on Quantum Physics and Logic (QPL 2016), Glasgow, June 6–10, 2016.

Number-theoretic methods in quantum computing. Invited lecture, 32nd Conference on the Mathematical Foundations of Programming Semantics (MFPS 2016), Pittsburgh, Pennsylvania, May 23–26, 2016.

Tutorial on the Quipper language. Workshop on Quantum Computer Science, Banff International Research Station, Alberta, Canada, April 17–22, 2016.

Number-theoretic methods for unitary approximation problems. Invited tutorial, MAP Workshop on Computable Analysis: Foundations, Implementation and Certification, CIRM, Marseille, Jan 11–15, 2016.

Number-theoretic methods in quantum computing. Invited participant, Special Session on Logic, Category Theory and Computation, 2015 Winter Meeting of the Canadian Mathematical Society, Montreal, December 4–7, 2015.

Using pdfx.sty for producing validating PDF documents, with Ross Moore. 36th Annual Meeting of the TeX Users Group (TUG 2015). Darmstadt, Germany, Jul 20–22, 2015.

Types for quantum computing. Invited lecture, 21st International Conference on Types for Proofs and Programs (TYPES 2015). Tallinn, Estonia, May 18–21, 2015.

Number-theoretic methods in quantum computing. Invited lecture, Amsterdam Quantum Logic Workshop. Amsterdam, May 7–8, 2015.

Optimal ancilla-free Clifford+T approximation of z-rotations, with Neil J. Ross (presenter). Plenary lecture, 18th Conference on Quantum Information Processing (QIP 2015). Sydney, Australia, Jan 12–16, 2015.

Efficient synthesis of quantum circuits by number-theoretic methods. Invited lecture, Conference on Knot Theory and its Applications to Physics and Quantum Computing. Dallas, Texas, Jan 6–9, 2015.

Applying quantitative semantics to higher-order quantum computing, with Michele Pagani and Benoît Valiron (presenter). 11th International Workshop on Domain Theory and Applications (Domains XI). Paris, Sept 8–10, 2014.

Optimal ancilla-free Clifford+T approximation of z-rotations. Conference in honour of Prakash Panangaden on the occasion of his sixtieth birthday. Oxford, May 23–25, 2014.

Overview on categories in quantum theory. Dagstuhl Perspectives Workshop on Categorical Methods at the Crossroads. Dagstuhl, Germany, April 28May 2, 2014.

Optimal ancilla-free Clifford+T approximation of z-rotations. Invited participant, Aspen Winter Conference on Advances in Quantum Algorithms and Computation. Aspen, Colorado, March 9–14, 2014.

Control categories and duality. Invited participant, CRM workshop "From categories to logic, linguistics and physics: a tribute for the 90th birthday of Joachim Lambek". Montreal, Sept 21, 2013.

Efficient Clifford+T approximation of unitary operators. Invited lecture, 10th International Workshop on Quantum Physics and Logic (QPL 2013). Barcelona, July 17–19, 2013.

Efficient Clifford+T approximation of single-qubit operators. 21st Workshop on Foundational Methods in Computer Science (FMCS 2013), Sackville, New Brunswick, Canada, May 31June 3, 2013.

Logical methods in quantum information theory. Invited lecture, 19th Workshop on Logic, Language, Information and Computation (WoLLIC 2012), Buenos Aires, Sept 3–6, 2012.

Semantics of quantum computation. Invited tutorial, 19th Workshop on Logic, Language, Information and Computation (WoLLIC 2012), Buenos Aires, Sept 3–6, 2012.

Logical approaches to higher-order quantum information theory. Invited lecture, 13th Union College Mathematics Conference, Schenectady, New York, April 30May 1, 2011.

Partially traced categories. 13th Union College Mathematics Conference, Schenectady, New York, April 30May 1, 2011.

Logical methods in quantum information theory. Invited lecture, 27th British Colloquium for Theoretical Computer Science (BCTCS 2011), Birmingham, England, April 18–21, 2011.

Autonomous categories with self-dual objects. International Category Theory Conference (CT 2010), Genova, Italy, June 21–26, 2010.

Autonomous categories in which A is isomorphic to A*. 7th International Workshop on Quantum Physics and Logic (QPL 2010), Oxford, May 29–30, 2010.

Finite dimensional Hilbert spaces are complete for dagger compact closed categories. Invited participant, Special Session on Logic and Foundations of Physics, North American Annual Meeting of the Association for Symbolic Logic, Washington, March 17–20, 2010.

Higher-order quantum computation. Invited participant, Workshop on Categories, Quanta, and Concepts, Perimeter Institute, Waterloo, Canada, June 1–5, 2009.

Semantic methods in quantum information theory. Invited tutorial, 25th Conference on the Mathematical Foundations of Programming Semantics (MFPS 2009), Oxford, April 3–7, 2009.

Data types for quantum computing. Invited participant, Workshop on Foundational Structures for Quantum Information and Computation, Obergurgl, Austria, September 14–20, 2008.

Finite dimensional Hilbert spaces are complete for dagger compact closed categories. 5th International Workshop on Quantum Physics and Logic (QPL 2008), Reykjavik, July 12–13, 2008.

Fibonacci objects. 16th Workshop on Foundational Methods in Computer Science (FMCS 2008), Halifax, May 31, 2008.

Categorical models of quantum computation. Invited tutorial, 24th Conference on the Mathematical Foundations of Programming Semantics (MFPS 2008), Philadelphia, May 21, 2008.

Finite dimensional Hilbert spaces are complete for dagger compact closed categories. Invited participant, Workshop on Logic, Physics and Quantum Information Theory, Bellairs Research Institute, Barbados, March 17, 2008.

Linear logic in quantum computation. Invited participant, Journées Jean-Yves Girard, Paris, Sept 10–12, 2007.

Survey of graphical calculi for monoidal categories. Workshop on Tensors, Knots and Braids in Logic and Physics, Oxford, July 20–23, 2006.

Idempotents in dagger categories. 4th International Workshop on Quantum Programming Languages (QPL 2006), Oxford, July 17–19, 2006.

Categorical models of quantum computation. Invited lecture, International Category Theory Conference (CT 2006), White Point, Nova Scotia, June 25July 1, 2006.

Semantics of a quantum programming language. Invited lecture, 22nd Conference on the Mathematical Foundations of Programming Semantics (MFPS 2006), Genova, Italy, May 24–27, 2006.

Semantics of quantum computation. Three invited tutorial lectures, Annual Meeting of the Association for Symbolic Logic, Montreal, May 17–21, 2006.

Idempotents in dagger categories. Invited participant, Special Session on Categorical Logic and Quantum Computation, Annual Meeting of the Association for Symbolic Logic, Montreal, May 17–21, 2006.

Idempotents in dagger categories. Invited participant, Geometry of Computation 2006, IML Institute for Mathematics at Luminy, University of Marseille, Feb. 24, 2006.

Dagger compact closed categories and completely positive maps. 3rd International Workshop on Quantum Programming Languages (QPL 2005), Chicago, June 30–July 1, 2005.

Programming languages for quantum computing. Invited lecture, ACM Symposium on Principles of Programming Languages (POPL 2005), Long Beach, California, Jan 12–14, 2005.

Towards a quantum programming language. Invited participant, Workshop on Quantum Computation and Information Theory, Banff International Research Station, Sept. 18–23, 2004.

Towards a semantics for higher-order quantum computation. 2nd International Workshop on Quantum Programming Languages (QPL 2004), Turku, Finland, July 12–13, 2004.

Towards a semantics for higher-order quantum computation. Foundational Methods in Computer Science (FMCS 2004), University of Calgary, June 4–6, 2004.

On the semantics of higher-order quantum computation. Invited participant, Workshop on Logical and Semantical Methods in Quantum Computation, Bellairs Research Institute, Barbados, April 16, 2004.

Towards a model of higher-order quantum computation. Invited participant, Workshop on Algebra and Logic on Programming Systems, Kyoto, Japan, April 10, 2004.

The design of quantum programming languages. Invited lecture, International Symposium on Functional and Logic Programming (FLOPS 2004), Nara, Japan, April 7–9, 2004.

Towards a quantum programming language. Invited lecture, 9th International Conference on Category Theory in Computer Science (CTCS 2002), Ottawa, August 15–17, 2002.

Towards a quantum programming language. Invited participant, Logic and Interaction Weeks, Marseille, Feb. 18–22, 2002.

Models for an adversary-centric protocol logic. 1st Workshop on Logical Aspects of Cryptographic Protocol Verification, Paris, July 23, 2001.

On the semantics of classical logic. Workshop on Logic, Language and Computation (LLC), Center for the Study of Language and Information, Stanford, May 25–27, 2001.

Categorical semantics of control. Invited lecture, Typed Lambda Calculi and Applications (TLCA 2001), Krakow, May 2–5, 2001.

Categorical models of communication. Invited lecture, Foundational Methods in Computer Science (FMCS 2000), Vancouver, June 1–4, 2000.

A domain-theoretic model for asynchronous communication. Invited participant, International Symposium on Domain Theory, Shanghai, October 17–24, 1999.

Control categories and duality. Invited lecture, Workshop on Classical Logic and Programming, Chambéry, France, May 20–21, 1999.

Categorical structure of asynchrony. Invited lecture, Fifteenth Annual Conference on Mathematical Foundations of Programming Semantics (MFPS 1999), New Orleans, April 28 – May 1, 1999.

Control categories: an axiomatic approach to the semantics of functional control. Fourteenth Annual Workshop on Mathematical Foundations of Programming Semantics (MFPS 1998), London, May 10–13, 1998.

Finite lambda models. Invited participant, Workshop on Mathematical Logic, Oberwolfach, Germany, January 18–24, 1998.

First-order axioms for asynchrony. Eighth International Conference on Concurrency Theory (CONCUR 1997). Warsaw, July 1–4, 1997.

Order-incompleteness and finite lambda models. Eleventh Annual IEEE Symposium on Logic in Computer Science (LICS 1996). New Brunswick, New Jersey, July 27–30, 1996.

Henkin representations and polymorphism. Twelfth Annual Workshop on Mathematical Foundations of Programming Semantics (MFPS 1996). Boulder, Colorado, June 3–5, 1996.

Unorderable algebras and Mal'cev operators. Conference on Modern Algebra and its Applications. Nashville, Tennessee, May 14–18, 1996.

PROFESSIONAL ACTIVITIES:

Editorial board member. Logical Methods in Computer Science, September 2007 – present.

Program committee co-chair and local organizer. 15th International Conference on Quantum Physics and Logic (QPL 2018). Halifax, June 3–7, 2018.

Program committee member. 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2018). Oxford, July 2018.

Program committee member. 9th Conference on Reversible Computation (RC 2017). Kolkata, India, July 6–7, 2017.

Program committee member. 14th International Conference on Quantum Physics and Logic (QPL 2017). Nijmegen, Netherlands, July 3–7, 2017.

Program committee member. 7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017). Ljubljana, Solvenia, June 14–16, 2017.

Lecturer. Summer School on Foundations of Programming and Software systems, Minho, Portugal. Tutorial lecture on quantum programming. May 27June 4, 2017.

Co-organizer. AIM Workshop on Arithmetic Golden Gates. American Institute of Mathematics, San Jose, California, 2017.

Guest editor. Information and Computation, special issue on Quantum Physics and Logic, 2016.

Program committee member. Conference on Theory of Quantum Computation, Communication and Cryptography (TQC 2016). Berlin, Sept. 26–28, 2016.

Program committee member. 25th Annual Conference on Computer Science Logic (CSL 2016). Marseille, France, August 29September 1, 2016.

Program committee member. 8th Conference on Reversible Computation (RC 2016). Bologna, Italy, July 7–8, 2016.

Program committee member. 1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016). Porto, Portugal, June 22–26, 2016.

Program committee member. 13th International Conference on Quantum Physics and Logic (QPL 2016). Glasgow, June 6–10, 2016.

Co-organizer. Workshop on Quantum Computer Science. Banff International Research Station, Alberta, Canada, April 17–22, 2016.

Program committee co-chair. 12th International Workshop on Quantum Physics and Logic (QPL 2015). Oxford, July 15–17, 2015.

Program committee member. 26th International Conference on Rewriting Techniques and Applications (RTA 2015). Warsaw, June 29July 3, 2015.

Program committee member. 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2015), Kyoto, July 6–10, 2015.

Co-organizer. Workshop on Quantum Programming and Circuits, Waterloo, Canada, June 8–11, 2015.

Lecturer. CAP Spring School on Quantum Structures in Physics and Computer Science. 3 lectures on number-theoretic methods in quantum information theory, Oxford, May 19–22, 2014.

Program committee member. 11th International Workshop on Quantum Physics and Logic (QPL 2014). Kyoto, June 4–6, 2014.

Local organizer. Eastern Sectional Meeting of the American Mathematical Society, Halifax, Oct. 18–19, 2014.

Program committee member. 25th International Conference on Concurrency Theory (CONCUR 2014), Rome, Sept. 2–5, 2014.

Program committee member. Joint 25th International Conference on Rewriting Techniques and Applications and 12th Typed Lambda Calculi and Applications (RTA-TLCA 2014). Vienna, July 14–17, 2014.

Program committee member. 17th International Conference on Foundations of Software Science and Computation Structures (FOSSACS 2014), Grenoble, France, April 6–13, 2014.

Program committee member. Workshop on Functional Programming Concepts in Domain-Specific Languages (FPCDSL), Boston, Sept. 25–27, 2013.

Program committee member. 22nd Annual Conference on Computer Science Logic (CSL 2013). Torino, Italy, September 2–5, 2013.

Program committee member. 20th Workshop on Logic, Language, Information and Computation (WoLLIC 2013). Darmstadt, Germany, August 20–23, 2013.

Lecturer. Summer School on Topology, Algebra and Categories in Logic. 4 lectures on categorical logic, Nashville, Tennessee, July 24-27, 2013.

Program committee member. 10th International Workshop on Quantum Physics and Logic (QPL 2013). Barcelona, July 17–19, 2013.

Program committee member. 40th International Colloquium on Automata, Languages and Programming, Track B (ICALP 2013), Riga, Latvia, July 8–12, 2013.

Program committee member. 24th International Conference on Rewriting Techniques and Applications (RTA 2013). Eindhoven, Netherlands, June 23–28, 2013.

Program committee member. 9th International Workshop on Quantum Physics and Logic (QPL 2012). Brussels, October 10–12, 2012.

Co-organizer. 20th Workshop on Foundational Methods in Computer Science FMCS 2012, Halifax, Canada, June 14–17, 2012.

Guest editor. Foundations of Physics 42(7), special issue on Quantum Physics and Logic, 2012.

Co-organizer. Logic and Interaction Weeks 2012, Centre International de Rencontres Mathématiques (CIRM), Marseille, Jan 30Mar 16, 2012.

Program committee co-chair. 8th International Workshop on Quantum Physics and Logic (QPL 2011). Nijmegen, Netherlands, October 27–29, 2011.

Visiting researcher. IML Institute for Mathematics at Luminy. 4 lectures on logical approaches to quantum information theory, University of Aix-Marseille, March 16April 12, 2011.

Guest lecturer. University of Paris 13. 4 lectures on quantum programming languages and logical approaches to quantum information theory, Paris, February 7–17, 2011.

Editorial board member. Mathematical Structures in Computer Science, February 2005 – 2010.

Co-organizer. Category Theory "Octoberfest" Workshop, Dalhousie University, October 23–24, 2010.

Co-organizer. 7th International Workshop on Quantum Physics and Logic (QPL 2010). Oxford, May 29–30, 2010.

Lecturer. QICS School on Foundational Structures in Quantum Computation and Information. Lecture on higher types in quantum computing. Oxford, May 24–28, 2010.

Program committee chair. 26th International Conference on the Mathematical Foundations of Programming Semantics (MFPS 2010), Ottawa, May 5–10, 2010.

Program committee member. North American Annual Meeting of the Association for Symbolic Logic, Washington, March 17–20, 2010.

Program committee member. 5th Workshop on Developments in Computational Models (DCM 2009), Rhodes, Greece, July 11, 2009.

Organizing committee member. 17th Workshop on Foundational Methods in Computer Science (FMCS 2009), Vancouver, May 28–31, 2009.

Co-organizer. 6th International Workshop on Quantum Physics and Logic (QPL 2009). Oxford, April 8–9, 2009.

Program committee member. 25th International Conference on the Mathematical Foundations of Programming Semantics (MFPS 2009), Oxford, April 3–7, 2009.

Co-organizer. 16th Workshop on Foundational Methods in Computer Science (FMCS 2008), Halifax, Canada, May 30June 1, 2008.

Program committee member. 15th International Workshop on Expressiveness in Concurrency (EXPRESS 2008), Toronto, August 23, 2008.

Program committee member. 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007), Wroclaw, Poland, July 9–13, 2007.

Program committee member. International Conference on Typed Lambda Calculi and Applications (TLCA 2007), Paris, June 25–29, 2007.

Organizer. 4th International Workshop on Quantum Programming Languages (QPL 2006). Oxford, July 17–19, 2006.

Program committee member. 33rd International Colloquium on Automata, Languages and Programming, Track B (ICALP 2006), Venice, Italy, July 10–14, 2006.

Co-organizer. International Category Theory Conference (CT 2006), White Point, Nova Scotia, June 25July 1, 2006.

Program committee member. 8th International Symposium on Functional and Logic Programming (FLOPS 2006), Mt. Fuji, Japan, April 24–26, 2006.

Organizer. 3rd International Workshop on Quantum Programming Languages (QPL 2005). Chicago, June 30July 1, 2005. This workshop is affiliated with the Twentieth Annual IEEE Symposium on Logic in Computer Science (LICS 2005).

Program committee member. 20th Annual IEEE Symposium on Logic in Computer Science (LICS 2005), Chicago, June 26–29, 2005.

Program committee member. 8th International Conference on Foundations of Software Science and Computation Structures (FOSSACS 2005), Edinburgh, Scotland, Apr. 4–8, 2005.

Guest editor. Mathematical Structures in Computer Science, special issue on Quantum Programming Languages, 2005.

Program committee member. 10th International Conference on Category Theory in Computer Science (CTCS 2004), Copenhagen, Denmark, Aug. 12–14, 2004.

Lecturer. Workshop on Quantum Computing. 4 tutorial lectures on logic and quantum computation. Institute for Studies in Theoretical Physics and Mathematics (IPM), Tehran, Iran, August 1–5, 2004.

Organizer. 2nd International Workshop on Quantum Programming Languages (QPL 2004). Turku, Finland, July 12–13, 2004. This workshop is affiliated with the Nineteenth Annual IEEE Symposium on Logic in Computer Science (LICS 2004).

Program committee member. Workshop on Categorical Methods for Concurrency, Interaction, and Mobility (CMCIM 2003), Marseille, France, Sept. 6, 2003.

Organizer. First International Workshop on Quantum Programming Languages (QPL 2003). Ottawa, June 15–16, 2003.

Co-organizer and lecturer. Fields Summer School on Logic and Foundations of Computation. Lectures on lambda calculus and classical logic. Ottawa, June 2–20, 2003.

Program committee member. Workshop on Security of Communication on the Internet (SECI 2002), Tunis, Tunisia, Sept. 19–21, 2002.

Lecturer. Graduate Student Preconference to CTCS 2002. Lecture on introduction to concurrency theory, Ottawa, August 12–14, 2002.

TEACHING EXPERIENCE:

Dalhousie University, 2005–
  • Graduate Courses:
    Math 5135, Introduction to Category Theory (Fall 2005)
    Math 5680, Topics in Logic and Computation (Fall 2007, Winter 2012, Fall 2013)
  • Undergraduate Courses:
    Math 1010, Differential and Integral Calculus II (twice)
    Math 1500, The Calculus (for honours students)
    InfX 1600, Integrated Informatics Studies: Foundations (twice)
    Math 2001, Intermediate Calculus I
    Math 2030, Matrix Theory and Linear Algebra I (three times)
    Math/CSCI 2112, Discrete Structures I (two sections)
    Math/CSCI 2113, Discrete Structures II (twice)
    Math 2135, Linear Algebra (for honours students, twice)
    Math/CSCI 4116, Cryptography (four times)
  • Undergraduate Supervisions:
    Jordan Barrett, "Generators and relations for quantum and classical circuits", NSERC Undergraduate Student Research Award, Summer 2017.
    Adam Bene Watts, "Generators and relations for reversible boolean circuits", Research Internship, Fall 2015.
    Travis Russell, "Unique normal forms for topological quantum compiling", Summer Research Project, Summer 2014.
    Travis Russell, "The exact synthesis of 1- and 2-qubit Clifford+T circuits", B.Sc. Honour's Thesis, Winter 2014.
    Mohammad Kidwai, "Quantum gate synthesis", Summer Research Project, Summer 2013.
    Henri Chataing, "Implementing the Proto-Quipper programming language", Research Internship, Summer 2013. Prize "Grand Prix du stage de recherche" awarded by École Polytechnique.
    Baranidharan Mohan, "Quantum programming and synthesis", MITACS Globalink Research Internship, Summer 2013.
    Flavien Breuvart, "Superoperators for quantum domains", Research Internship, Summer 2010.
    Alain Patey, "Towards a notion of quantum progressive superoperators", Research Internship, Summer 2009.
    Youssef Zaky, "Linear equational theories", NSERC Undergraduate Student Research Award, Summer 2009.
    Benjamin Ayers-Glassey, "Optimal tilings of quantum circuits", Independent Research Student, Summer 2009.
    Yoann Le Montagner, "Data structures in quantum computation", Research Internship, Summer 2008.
    David Clair, "The model of the lambda calculus", B.Sc. Honour's Thesis, Fall 2007.
    Landry Huet, "Semantics of covariant quantum data types", Research Internship, Summer 2007.
    Michelle Bilocq, "A first-order logic approach to cryptography", B.Sc. Honour's Thesis, Winter 2007.
    Micah McCurdy, "Dagger compact closed categories", Summer Research Project, Summer 2006.
University of Ottawa, 2001–2005
  • Graduate Courses:
    Math 5162, Mathematical Foundations of Computation (Fall 2001)
    Math 5361, Topics in Quantum Computation (Winter 2004)
  • Undergraduate Courses:
    Math 1341, Introduction to Linear Algebra (twice)
    Math 2361, Logic for Computing (4 times)
    Math 3321, Complex Analysis and Integral Transforms
    Math 3343, Applied Algebra (twice)
    Math 3361, Introduction to Mathematical Logic
University of Michigan, 1997–2000
  • Graduate Courses:
    Math 582, Introduction to Set Theory.
  • Undergraduate Courses:
    Math 115, Calculus I (twice)
    Math 116, Calculus II (3 times)
    Math 285, Honors Calculus III
    Math 312, Applied Modern Algebra
    Math 316, Differential Equations
    Math 481, Introduction to Mathematical Logic
  • Undergraduate Supervisions:
    Ari Lamstein, "Mathematical Foundations of Programming Language Design", Undergraduate Research Opportunities Program, Fall 1999 – Summer 2000.
University of Pennsylvania, 1992–1997
  • Teaching Assistant in Mathematics, 1992–1994.
  • Good Teaching Awards, Fall 1992 and Spring 1993.
  • Co-Organizer, Teaching Assistant Training Program, 1993–1996.
  • PENNlincs Math Mentoring Program, 1996.
Technische Universität Darmstadt
  • Teaching Assistant in Mathematics, 1991–1992.