Bruce Kapron


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

e-mail: my email

Interests

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

ATYlogo
Webpage design by Anna K-K