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