问题及解答

http://www.mscs.dal.ca/~selinger/

I am a 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.