Peter Selinger: Research

Research

I enjoy working in the areas of mathematical logic, category theory, and their applications to theoretical computer science. My research interests include programming languages for quantum computing, categorical quantum mechanics, quantum circuit theory, and unitary approximation. More recently, I also work in combinatorial game theory.

Links to my research:
A list of my Papers.
My publications in BibTeX format.
The Quipper Programming Language.
My Curriculum Vitae.
My Thesis.
My compiler for the Core Join Calculus.
My Finite Lambda Model Applet.
My compiler for the Lambda-Mu-Nu Calculus.

My research in the news:

Programming your quantum computer, by Brian Hayes. American Scientist, January-February 2014.
New language helps quantum coders build killer apps, by Sophie Hebden. New Scientist, 5 July 2013.

Local Information:

Free Open-Access Journals

In my opinion, the dominant academic publishers like Springer and Elsevier take our work (authors, editors, referees) without payment, add little of value, then charge our libraries exorbitant amounts to license the same content back to them. Fortunately, there is a growing number of better alternatives. All of the following journals are community run, free (for authors as well as readers), and open-access. All of them have editorial boards composed of first-rate researchers.

Theory and Applications of Categories (established 1995).
Integers (established 2000).
Logical Methods in Computer Science (established 2005).
Quantum (established 2017).
Compositionality (established 2018).

Upcoming Events:

6th International Workshop on Quantum Software Engineering (Q-SE 2025).
Ottawa, Apr 26 or May 4, 2025 (TBD).
22nd International Conference on Quantum Physics and Logic (QPL 2025).
Varna, Bulgaria, July 14–18, 2025.

Past Events:

21st International Conference on Quantum Physics and Logic (QPL 2024). Buenos Aires, July 15–19, 2024.
Workshop on quantum circuit design automation, Okanagan, June 2–7, 2024.
4th International Workshop on Programming Languages for Quantum Computing (PLanQC 2024). London, January 2024.
20th International Conference on Quantum Physics and Logic (QPL 2023). Paris, July 17–21, 2023.
29th Workshop on Logic, Language, Information and Computation (WoLLIC 2023). Halifax, July 11–14, 2023.
13th International Workshop on Developments in Computational Models (DCM 2023). Rome, July 2, 2023
30th Workshop on Foundational Methods in Computer Science (FMCS 2023). Mount Allison University, June 7–11 2023.
2023 Summer Meeting of the Canadian Mathematical Society, Ottawa, June 2–5, 2023.
29th Workshop on Foundational Methods in Computer Science (FMCS 2022). University of Calgary, June 1–26, 2022.
19th International Conference on Quantum Physics and Logic (QPL 2022). Oxford, June 27–July 1, 2022.
18th International Conference on Quantum Physics and Logic (QPL 2021). Gdansk, Poland, June 7–11, 2021.
17th International Conference on Quantum Physics and Logic (QPL 2020). Paris, June 2–6, 2020.
Mini-course on GAP. Speaker: Leandro Vendramin. Memorial University and Dalhousie, January 13–17, 2020.
16th International Conference on Quantum Physics and Logic (QPL 2019). Orange, California, June 10–14, 2019.
26th Workshop on Foundational Methods in Computer Science (FMCS 2018). Mount Allison University, May 31–June 2, 2018.
15th International Conference on Quantum Physics and Logic (QPL 2018). Halifax, June 3–7, 2018.
34th International Conference on Mathematical Foundations of Programming Semantics (MFPS 2018). Halifax, June 6–9, 2018.
Dagstuhl Seminar on Quantum Programming Languages. Dagstuhl, Germany, September 16–21, 2018
14th International Conference on Quantum Physics and Logic (QPL 2017). Nijmegen, July 3–7, 2017.
7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017), Ljubljana, Slovenia, June 14–16, 2017.
AIM Workshop on Arithmetic Golden Gates, American Institute of Mathematics, San Jose, California, April 24–28, 2017.
13th International Conference on Quantum Physics and Logic (QPL 2016). Glasgow, June 6–10, 2016.
8th Conference on Reversible Computation, Bologna, Italy, July 7–8, 2016.
Workshop on Quantum Computer Science. Banff International Research Station, Alberta, Canada, April 17–22, 2016.
12th International Workshop on Quantum Physics and Logic (QPL 2015). Oxford, July 15–17, 2015.
Workshop on Quantum Programming and Circuits. Waterloo, June 8–11, 2015.
Amsterdam Quantum Logic Workshop. Amsterdam, May 7–8, 2015.
Conference of Knot Theory and its Applications to Physics and Quantum Computing. Dallas, Jan 6–9, 2015.
Fall Eastern Sectional Meeting of the American Mathematical Society, Dalhousie University, Halifax, Canada October 18–19, 2014.
11th International Workshop on Quantum Physics and Logic (QPL 2014). Kyoto, June 4–6, 2014.
10th International Workshop on Quantum Physics and Logic (QPL 2013). Barcelona, July 17–19, 2013.
24th International Conference on Rewriting Techniques and Applications (RTA 2013). Eindhoven, Netherlands, June 24–26, 2013.
9th International Workshop on Quantum Physics and Logic (QPL 2012). Brussels, October 10–12, 2012.
20th Workshop on Foundational Methods in Computer Science (FMCS 2012), Halifax, Canada, June 2012.
Logic and Interaction Weeks 2012, CIRM, Marseille, France, Jan 30 – Mar 16, 2012.
8th International Workshop on Quantum Physics and Logic (QPL 2011). Nijmegen, October 27–29, 2011.
Category Theory "Octoberfest" Workshop, Oct 23-24, 2010, Halifax.
7th International Workshop on Quantum Physics and Logic (QPL 2010), May 29-30, 2010, Oxford.
26th Conference on the Mathematical Foundations of Programming Semantics (MFPS 2010), University of Ottawa, May 6-10, 2010.
6th International Workshop on Quantum Physics and Logic (QPL 2009), April 8-9, 2009, Oxford.
16th Workshop on Foundational Methods in Computer Science (FMCS 2008), May 30 - June 1, 2008, Halifax.
5th International Workshop on Quantum Physics and Logic (formerly Quantum Programming Languages) (QPL 2008), July 12-13, 2008, Reykjavik.
4th International Workshop on Quantum Programming Languages (QPL 2006), July 17-19, 2006, Oxford.
International Category Theory Conference (CT 2006), June 25 - July 1, 2006, White Point, Nova Scotia.
3rd International Workshop on Quantum Programming Languages (QPL 2005), June 30 - July 1, 2005, Chicago (affiliated Workshop of LICS 2005).
2nd International Workshop on Quantum Programming Languages (QPL 2004), July 12-13, 2004, Turku, Finland (affiliated Workshop of LICS 2004).
1st International Workshop on Quantum Programming Languages (QPL 2003), June 15-16, 2003, Ottawa, Canada (affiliated Workshop of Fields 2003).
Foundational Methods in Computer Science (FMCS 2003), May 30-June 1, 2003.
Fields Institute Summer School on Logic and Foundations of Computation, June 2-20, 2003.
Category Theory and Computer Science (CTCS'02), August 15-17, 2002.

Resources

In Ottawa: Math Department, LFC group, Logic Seminar.
Mailing list archives: Categories. Linear Logic. Types. Concurrency.
Papers from London, Stanford, Penn, Marseille, McGill, and Paris.
The Linear Logic Bibliography and the Hypertext Bibliography Project.
Home of Standard ML of New Jersey and Caml. Compiler Implementation in ML.
The Mobility Homepage.
Professional organizations: AMS (EIMS), ASL, MAA, SIAM, (NCP, SMTC), IEEE.
Back issues of journals (subscribers only): JSTOR.
Want to know who your advisor's advisor's advisor was? The Mathematics Genealogy Project.
Online Encyclopedia of Integer Sequences.
Origins of many Common Math Symbols.

Conferences

TLCA 2001. ASL 2001. LIW 2002. CTCS 2002. LICS 2003. FMCS 2003. Fields 2003. QIS School 2003. FLOPS 2004. ALPS 2004. CTCS 2004. LICS 2004. QPL 2004. POPL 2005. TLCA 2005. LICS 2005. MFPS 2005. FLOPS 2006. ICALP 2006. Geocal 2006. ASL 2006. MFPS 2006. CT 2006. LICS 2007. MFPS 2008. QPL 2008. MFPS 2009. QPL 2009. CQC 2009. QPL 2010. MFPS 2010. QPL 2011. CSSQI 2012. AQL 2015.
The TLCA List of Open Problems.
A listing of CGT Related Conferences.

Back to Homepage:

Peter Selinger / Department of Mathematics and Statistics / Dalhousie University
selinger@mathstat.dal.ca / PGP key