Curriculum Vitae - Peter Selinger

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

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.

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.

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.

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.

NSERC Collaborative Research and Training Experience, S. Sampali, N. Zincir-Heywood, E. Milios, P. Selinger, Q. Ye, R. Orji, I. Haque, Y. Tang, J. Anderson, K. Quigley, B. Sundararajan, K. de Snayer, T. Dougall, J. Legorburu, M. Gaudet. 2024–2030.

NSERC Discovery Grant, Mathematics, 2024–2029.

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.

Completed:

• Xiaoning Bian, "Generators and relations for some classes of quantum circuits", Ph.D. thesis, Dalhousie University, August 2023.
• Fahimeh Bayeh, "Towards a theory of quantum domains", M.Sc. thesis, Dalhousie University, August 2021.
• Francisco Rios, "On a categorically sound quantum programming language for circuit description", Ph.D. thesis, Dalhousie University, August 2021.
• 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.
• 15 postdoctoral researchers 2001–2023 (8 supervisor, 7 co-supervisor)

In progress:

• 2 Ph.D. students (supervisor)
• 3 postdoctoral researchers (3 co-supervisor)

P. Fu, K. Kishida, N. J. Ross, P. Selinger. Proto-Quipper with reversing and control. Preprint, 39 pages, October 2024. Available from arXiv:2410.22261.

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. In Proceedings of the 19th International Conference on Quantum Physics and Logic (QPL 2022), Oxford, Electronic Proceedings in Theoretical Computer Science 394:302–342, 2023.

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. In Proceedings of the 19th International Conference on Quantum Physics and Logic (QPL 2022), Oxford, Electronic Proceedings in Theoretical Computer Science 394:13–28, 2023.

E. Demer, P. Selinger. There are infinitely many monotone games over L₅. 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.

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.

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.

Towards an induction principle for nested data types. Invited participant, special session on Proof Theory and Theoretical Computer Science, International Joint Meeting of the American Mathematical Society and the Unione Matematica Italiana, Palermo, Italy, July 23–24, 2024.

Quantum computing from a logician's point of view. Plenary lecture, 20th Latin American Symposium on Mathematical Logic, (SLALM 2024), Montevideo, Uruguay, July 1–5, 2024.

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 31 – June 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 28 – May 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 31 – June 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 30 – May 1, 2011.

Partially traced categories. 13th Union College Mathematics Conference, Schenectady, New York, April 30 – May 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 25 – July 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.

Program committee member. 22nd International Conference on Quantum Physics and Logic (QPL 2025). Varna, Bulgaria, July 14–18, 2025.

Program committee member. 8th International Conference on Applied Category Theory (ACT 2025). Gainesville, Florida, June 2–6, 2025.

Selection committee member. Test of Time award for the 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2025).

Program committee member. 31st Workshop on Logic, Language, Information and Computation (WoLLIC 2025). Porto, Portugal, July 14–17, 2025.

Program committee member. 6th International Workshop on Quantum Software Engineering (Q-SE 2025). Ottawa, Apr 26–May 4 (TBD), 2025.

Co-organizer. Dagstuhl Seminar on Formal Analysis and Verification in Quantum Programming Languages. Dagstuhl, Germany, 2025.

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 20, 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 27 – April 1, 2021.

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

Organizer. Minicourse 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 27–June 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 29 – September 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 29 – July 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 30 – Mar 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 16 – April 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 30 – June 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 25 – July 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 30 – July 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.

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

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, Winter 2017, Winter 2021)
• Undergraduate Courses:
  Math 1010, Differential and Integral Calculus II (twice)
  Math 1030, Matrix Theory and Linear Algebra I (6 times)
  Math 1500, The Calculus (for honours students)
  InfX 1600, Integrated Informatics Studies: Foundations (twice)
  Math 2001, Intermediate Calculus I
  Math 2040, Matrix Theory and Linear Algebra II
  Math 2110, Logic and Set Theory
  Math/CSCI 2112, Discrete Structures I (two sections)
  Math/CSCI 2113, Discrete Structures II (twice)
  Math 2135, Linear Algebra (for honours students, 5 times)
  Math/CSCI 4116, Cryptography (7 times)
• Undergraduate Supervisions:
  Andrew Allen, Summer Research Project, Summer 2024, co-supervised.
  Rory Schepp, Summer Research Project, Summer 2024, co-supervised.
  Veronika Keras, Faye Sobey Undergraduate Research Award, Summer 2023.
  Ethan Saunders, NSERC Undergraduate Student Research Award, Summer 2024. Joyce Jiao, "Low T-count approximations of single qubit unitaries", Independent Research Project, Fall 2023.
  Xiaoyu Jia, "Global decisiveness in combinatorial games". Faye Sobey Undergraduate Research Award, Summer 2023.
  Andrew Allen, ""Investigations on the Clifford hierarchy". Faye Sobey Undergraduate Research Award, Summer 2023, co-supervised.
  Gregory Whalen-Edwards, "Measurement assisted quantum circuits". NSERC Undergraduate Student Research Award, Summer 2023, co-supervised.
  Zachary Murray, "Constructive analysis in the Agda proof assistant". B.Sc. Honour's Thesis, 2022.
  Kyle Wang, "Realizability in monotone set coloring games", Summer Research Project, Summer 2021.
  Sarah Meng Li, "Ancilla-free approximate synthesis for the non-unitary matrix groups SL₂(ℤ[1/2])", Faye Sobey Undergraduate Research Award, Summer 2021.
  Zachary Murray, "Formalizing Bishop's constructive analysis in Agda". Faye Sobey Undergraduate Research Award, Summer 2021.
  Aeriana Narbonne, "Simulation of Stabilizer Circuits". Undergraduate research, co-supervised with Neil J. Ross, Winter 2021.
  Sarah Meng Li, "Generators and Relations for the Group Oₙ(ℤ[1/2])", Faculty of Computer Science Research Internship. Co-supervised with Neil J. Ross, Fall 2019.
  Charles Gerrie, "Interblock cryptanalysis of Unix crypt". NSERC Undergraduate Student Research Award, Summer 2019.
  Alexandre Clément, "Generators and relations for the group Uₙ(ℤ[1/√2])", Research Internship. Co-supervised with Neil J. Ross, Fall/Winter 2018/2019.
  Alexander Christie, "Trace equivalence in three dimensions", Faye Sobey Undergraduate Research Award, Summer 2018.
  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 Pω 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, Honours 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.