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:
|
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
- Publications
- Teaching
- My CV
(PDF file)
- Current students
- Mohammad Hajiabadi (M.Sc.)
- Gautam Srivastava (Ph.D.)
- Chris Ware (Ph.D.)
- Nicholas Vining (M.Sc.)
- Former Students
- Wai-han Chiu (M.Sc.)
- Dilian Gurov
(Ph.D.)
- Dan Holtby (M.Sc.)
- Brent Knight (M.Sc.)
- Georgi Kostadinov (M.Sc.)
- Samuel Leung (M.Sc.)
- Lior Malka
(Ph.D.)
- Warren Shenkenfelder (M.Sc.)
- Gautam Srivastava (M.Sc.)
- Chris Ware (M.Sc.)