Bruce Kapron is a Professor in the Department of Computer Science at the University of Victoria. His research interests include logic, computational complexity, verification and foundations of cryptography and security. He received his PhD in Computer Science from the University of Toronto, under the supervision of Stephen A. Cook. Before arriving at the University of Victoria, he was a visiting scientist at Carnegie Mellon University. He has also been a visiting professor at DIKU Copenhagen and at Stanford University.
- Real Analysis in Computer Science, Fall 2013. Visiting Scientist.