
Stuart Kurtz
- George and Elizabeth Yovovich Professor of Computer Science and the College
- Research and Scholarly Interests: Computer Science, Complexity Theory, Computational Logic, Type theory, Randomness, Proof assistants, Formal verification
- Biography: Stuart's Bio