Bruce Kapron
Professor at University of Victoria
Victoria, British Columbia, Canada
Summary
👤
Senior🎓
Top SchoolBruce Kapron is a Professor of Computer Science at the University of Victoria with a long-standing research and teaching career spanning foundations of security, cryptography, and logical methods in computing. Over recent years he has focused on developing cryptographically sound formal systems, pairing deep theoretical work in epistemic and modal logic with practical concerns like database privacy and risk management. His background includes research appointments at leading institutes (Institute for Advanced Study, Simons Institute, Stanford) and supervision of graduate research across verification, network security, and theory of computation. He teaches a broad suite of undergraduate and graduate courses—from introductory programming to advanced cryptography and logic—bringing research-grade rigor into the classroom. Notably, his work connects higher-type computation and complexity theory to concrete security proofs, a less obvious throughline that informs much of his approach. Based in Victoria, BC, he blends decades of academic leadership with active contributions to the logical foundations of probability and security.
8 years of coding experience
2 years of employment as a software developer
B.Math., Computer Science/Math, B.Math., Computer Science/Math at University of WaterlooPh.D., Computer Science, Ph.D., Computer Science at University of TorontoHigh School Diploma, High School Diploma at St Jerome's High SchoolM.Sc., Mathematics, M.Sc., Mathematics at Simon Fraser University
French
Github Skills (10)
science10
computer-science10
react10
ranking10
logic6
agda5
browser3
javascript3
proof-assistant3
haskell3
Programming languages (2)
Github contributions (4)
bmkapron/Carnap
Sep 2022 - Dec 2022
A formal logic framework that runs in the browser
Contributions:6 pushes, 4 branches in 2 months
browserjavascriptformalrunslogic
emeryberger/CSrankings
Jan 2018 - Aug 2022
A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.
Contributions:1 review, 2 commits, 5 PRs in 4 years 8 months
dblpreactscienceresearch-outputselective
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.