Past Member
Bruce Kapron
Affiliation
Mathematics
Field of Study
Computer Science
From
–
Bruce Kapron’s research interests include logic, verification, foundations of security, and computational complexity. Using logical methods and cryptographic tools, he plans to work on the development of computationally sound formal systems for reasoning about cryptography-based security.
Dates at IAS
Member
School of Mathematics
–
Spring
Degrees
University of Toronto
Ph.D.
1991