Bruce Kapron

Associate 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 Gershon, Book of Numbers, 1321

Publications
Teaching
My CV (PostScript file)
Current students
- Gautam Srivastava (Ph.D.)
- Chris Ware (Ph.D.)
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.)