[home]

Curriculum Vitae - Peter Selinger



Updated: March 2024

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–present.

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

Honours:

Award for Excellence in Teaching, Faculty of Science, Dalhousie University, June 2023.

Convocation speaker, Faculty of Science, Dalhousie University, May 2023.

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

Grants and Awards:

DARPA Research Contract, U.S. Defense Advanced Research Projects Agency, Quantum Benchmarking Program. Collaborative effort with industrial partner Peraton Labs and Oak Ridge National Laboratory. 2021–2024.

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

AARMS Collaborative Research Group, Atlantic Association for Research in the Mathematical Sciences. Collaborative effort with Memorial University, Saint Mary's University, and the University of New Brunswick. 2019–2023.

NSERC Discovery Grant, Computer Science, 2017–2023.

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-2020.

NSERC Discovery Grant, Computer Science, 2012–2017.

IARPA Research Contract, U.S. Intelligence Advanced Research Projects Activity, 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: In progress:

Publications:

A. Kornell, P. Selinger. Some improvements to product formula circuits for Hamiltonian simulation. Preprint, 12 pages, October 2023. Available from arXiv:2310.12256.

X. Bian, P. Selinger. Generators and relations for 3-qubit Clifford+CS operators. In Proceedings of the 20th International Conference on Quantum Physics and Logic (QPL 2023), Paris, Electronic Proceedings in Theoretical Computer Science 384:114–126, 2023.

P. Fu, P. Selinger. Towards an induction principle for nested data types. In Proceedings of the 29th International Workshop on Logic, Language, Information and Computation (WoLLIC 2023), Halifax, Lecture Notes in Computer Science 13923, pp. 244–255, Springer, 2023.

P. Fu, K. Kishida, N. J. Ross, P. Selinger. Proto-Quipper with dynamic lifting. In Proceedings of the 50th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2023), Boston, Proceedings of the ACM on Programming Languages 7, pp. 309–334, 2023.

P. Fu, K. Kishida, P. Selinger. Linear dependent type theory for quantum programming languages. Logical Methods in Computer Science 18(3:28):1–44, 2022.

E. Demer, P. Selinger, K. Wang. All passable games are realizable as monotone set coloring games. To appear in Games of No Chance 6, Cambridge University Press, 2022. Available from arXiv:2111.10351.

P. Selinger. On the combinatorial value of Hex positions. Integers 22:G3, 2022.

P. Fu, K. Kishida, N. J. Ross, P. Selinger. A biset-enriched categorical model for Proto-Quipper with dynamic lifting. To appear in Proceedings of the 19th International Conference on Quantum Physics and Logic (QPL 2022), Oxford, 2022. Available from arXiv:2204.13039.

P. Fu, K. Kishida, N. J. Ross, P. Selinger. On the Lambek embedding and the category of product-preserving presheaves. 10 pages, May 2022. Available from arXiv:2205.06068.

X. Bian, P. Selinger. Generators and relations for 2-qubit Clifford+T operators. To appear in Proceedings of the 19th International Conference on Quantum Physics and Logic (QPL 2022), Oxford, 2022. Available from arXiv:2204.02217.

E. Demer, P. Selinger. There are infinitely many monotone games over L5. 5 pages, March 2022. Available from arXiv:2203.13971.

X. Bian, P. Selinger. Generators and relations for Uₙ(ℤ[1/2, i]). In Proceedings of the 18th International Conference on Quantum Physics and Logic (QPL 2021), Gdansk, Poland, Electronic Proceedings in Theoretical Computer Science 343:145–164, 2021.

S.M. Li, N.J. Ross, P. Selinger. Generators and relations for the group Oₙ(ℤ[1/2]). In Proceedings of the 18th International Conference on Quantum Physics and Logic (QPL 2021), Gdansk, Poland, Electronic Proceedings in Theoretical Computer Science 343:210–264, 2021.

J. Makary, N.J. Ross, P. Selinger. Generators and relations for real stabilizer operators. In Proceedings of the 18th International Conference on Quantum Physics and Logic (QPL 2021), Gdansk, Poland, Electronic Proceedings in Theoretical Computer Science 343:14–36, 2021.

P. Fu, K. Kishida, P. Selinger. Linear dependent type theory for quantum programming languages. In Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2020), Saarbrücken, Germany, pp. 440–453, 2020.

P. Fu, K. Kishida, N.J. Ross, P. Selinger. A tutorial introduction to quantum circuit programming in dependently typed Proto-Quipper. In Proceedings of the 12th International Conference on Reversible Computation (RC 2020), Oslo, Norway, Lecture Notes in Computer Science 12227, pp. 153–168, Springer, 2020.

P. Selinger, K. Tapp. On the mathematics of the free-choice paradigm. Preprint, 14 pages, August 2018. Available from arXiv:1808.06961.

P. Fu, P. Selinger. Dependently typed folds for nested data types. Preprint, 28 pages, June 2018. Available from arXiv:1806.05230.

P. Selinger. A finite alternation result for reversible boolean circuits. In Science of Computer Programming 151:2–17, 2018.

F. Rios, P. Selinger. A categorical model for a quantum circuit description language. Extended abstract. In Proceedings of the 14th International Conference on Quantum Physics and Logic (QPL 2017), Nijmegen. Electronic Proceedings in Theoretical Computer Science 266:164–178, 2018.

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.

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, pp. 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:

P. Selinger. Matrix Theory and Linear Algebra. Open access textbook, 558 pages. Available from Lulu.com, 2018.

P. Selinger. Lecture Notes on the Lambda Calculus. 106 pages. ISBN 978-0-359-15885-0. Available from Lulu.com, 2018.

Books Edited:

Proceedings of the 15th International Workshop on Quantum Physics and Logic, QPL 2018, Halifax. G. Chiribella and P. Selinger, editors. Electronic Proceedings in Theoretical Computer Science 287, 2019.

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:

Some improvements to product formula circuits for Hamiltonian simulation. With A. Kornell. 5th International Workshop on Quantum Compilation (IWQC 2023), Paris, July 22–23, 2023.

Introduction to the stabilizer calculus. Invited tutorial, 30th Workshop on Foundational Methods in Computer Science (FMCS 2023), Sackville, New Brunswick, Canada, June 7–11, 2023.

Hex as a combinatorial game. Invited lecture (Blundon Lecture), Science Atlantic Mathematics, Statistics, and Computer Science Conference 2022, Sackville, New Brunswick, Canada, Oct 14–15, 2022.

Number-theoretic methods in quantum computing. Invited lecture, 26th International Workshop on Algebraic Development Techniques (WADT 2022), Aveiro, Portugal, June 28–30, 2022.

The combinatorial game theory of Hex. Invited tutorial, 29th Workshop on Foundational Methods in Computer Science (FMCS 2022), Kananaskis, Alberta, Canada, June 21–26, 2022.

Proto-Quipper: a quantum programming language. With F. Fu and K. Kishida. Online workshop on Logic, Quantum Computing, and Artificial Intelligence (LQCAI 2021), Arak, Iran, July 2, 2021.

Linear dependent type theory for quantum programming languages. With F. Fu and K. Kishida. 18th International Conference on Quantum Physics and Logic (QPL 2021). Online conference, Jun 10, 2021.

Linear dependent type theory for quantum programming languages. With F. Fu and K. Kishida. 35th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2020). Online conference, Jul 8, 2020.

Dependently typed quantum programming in Proto-Quipper. Invited lecture, 1st Workshop on Programming Languages and Quantum Computing (PLanQC 2020). New Orleans, January 19, 2020.

Number-theoretic methods in quantum computing. Invited lecture, 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2019). Vancouver, June 24–27, 2019.

Efficient synthesis of quantum circuits by number-theoretic methods. Invited lecture, 20th International Conference on Descriptional Complexity of Formal Systems (DCFS 2018). Halifax, July 25–27, 2018.

Challenges in quantum programming languages. Invited lecture, 3rd International Conference on Formal Structures for Computation and Deduction, (FSCD 2018). Oxford, July 9–12, 2018.

Tutorial on dagger categories. Invited tutorial, 26th Workshop on Foundational Methods in Computer Science (FMCS 2018), Sackville, New Brunswick, Canada, May 31June 2, 2018.

Trusted Quantum Software via a Formally Verified Functional Quantum Programming Language. AFOSR Cyber Security Program Review Meeting, Arlington, May 21–25, 2018.

Beyond Solovay-Kitaev: Number-theoretic algorithms in unitary approximation. 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 28May 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:

Program committee member. 21st International Conference on Quantum Physics and Logic (QPL 2024). Buenos Aires, July 15–19, 2024.

Program committee member. 39th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2024). Tallinn, Estonia, July 8–12, 2024.

Program committee member. 4th International Workshop on Programming Languages for Quantum Computing (PLanQC 2024). London, January 2024.

Program committee member. 20th International Conference on Quantum Physics and Logic (QPL 2023). Paris, July 17–21, 2023.

Local organizer. 29th Workshop on Logic, Language, Information and Computation (WoLLIC 2023). Halifax, July 11–14, 2023.

Program committee member. 13th International Workshop on Developments in Computational Models (DCM 2023), Rome, July 2, 2023.

Program committee member. 10th Conference on Algebra and Coalgebra in Computer Science (CALCO 2023), Bloomington, Indiana, June 19–24, 2023.

Scientific organizing committee member. Summer meeting of the Canadian Mathematical Society, University of Ottawa, June 2–5, 2023.

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

Editorial board member. Compositionality, July 2018 – March 2022.

Member. Working Group on Foundations of Quantum Computation, International Federation for Information Processing (IFIP), 2022 – present.

Program committee member. 4th Applied Category Theory Conference (ACT 2021). Cambridge, England, July 12–16, 2021.

Program committee member. 2nd International Workshop on Programming Languages for Quantum Computing (PLanQC 2021). Virtual event, June 22, 2021.

Program committee member. 24th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2021). Luxembourg, March 27April 1, 2021.

Program committee member. 29th Annual Conference on Computer Science Logic (CSL 2021). Athens, January 11–14, 2021.

Organizer. Mini course on Hopf Algebras, given by Yorck Sommerhäuser, November 10–26, 2020.

Program committee member. 12th Conference on Reversible Computation (RC 2020). Virtual event, July 9–10, 2020.

Program committee member. 47th International Colloquium on Automata, Languages and Programming, Track B (ICALP 2020), Virtual event, July 8–12, 2020.

Program committee member. 3rd Applied Category Theory Conference (ACT 2020). Virtual event, July 6–10, 2020.

Program committee member. 17th International Conference on Quantum Physics and Logic (QPL 2020). Paris, June 2–6, 2020.

Program committee member. 36th Conference on the Mathematical Foundations of Programming Semantics (MFPS 2020). Paris, June 1–5, 2020.

Organizer. Minicourse on GAP, given by Leandro Vendramin, Dalhousie University, January 13–17, 2020.

Co-organizer. Special Session on Hopf Algebras and Tensor Categories, Science Atlantic Conference, Halifax, October 27, 2019.

Program committee member. 16th International Conference on Quantum Physics and Logic (QPL 2019). Orange, California, June 10–14, 2019.

Program committee member. 46th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2019). Lisbon, Portugal, Jan 13–19, 2019.

Guest lecturer. University of Warsaw, Department of Mathematics, Informatics, and Mechanics. 3 lectures on quantum programming. Warsaw, Sept 24–26, 2018.

Co-organizer. Dagstuhl Seminar on Quantum Programming Languages. Dagstuhl, Germany, Sept. 16–21, 2018.

Program committee member. 10th Conference on Reversible Computation (RC 2018). Leicester, England, Sept 13–14, 2018.

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

Local organizer. 34th Conference on the Mathematical Foundations of Programming Semantics (MFPS 2018). Halifax, June 6–9, 2018.

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. 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.

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, 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, 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.

Patents:

P. Selinger. Permutation game. U.S. Patent 10,463,974, United States Patent and Trademark Office, Nov 5, 2019.

Teaching:

Dalhousie University, 2005– University of Ottawa, 2001–2005 University of Michigan, 1997–2000 University of Pennsylvania, 1992–1997 Technische Universität Darmstadt