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