Peter Selinger I am an Associate Professor of Mathematics at Dalhousie University. I enjoy doing research in the areas of mathematical logic, category theory, and their applications to theoretical computer science. I also enjoy teaching. Most recently, I taught Math/CSCI 4116, Cryptography, and Math 4680/5680, Introduction to Mathematical Logic.

Please choose a topic: