Peter Selinger (Draft Profile)

I enjoy doing research in the areas of mathematical logic, category theory, and their applications to theoretical computer science and quantum computing. I also enjoy teaching.