Bruce Kapron

Computer Science Department
University of Victoria
Victoria, B.C.
Phone: (250) 472-5725
Fax: (250) 472-5708

e-mail: my email


Theory of computing: logic in computer science, foundations of security, cryptography, computational complexity, verification

    Because the true perfection of a practical occupation consists not only in knowing the actual performance of the occupation but also in its explanation, why the work is done a in a particular way, and because the art of calculating is a practical occupation, it is clear that it is pertinent to concern oneself with the theory.
Levi ben Gershom, Maase Hoshev (The Work of The Reckoner), 1321

Current students

Former Students

Webpage design by Anna K-K