Members
Professors
Katherine Kosaian
Assistant Professor
Research Interests: Formal Verification, Interactive Theorem Proving
Research Scientists & Postdoctoral Scholars
Andrew Reynolds
he/him
Research Scientist
Research Interests: SMT, Automated Theorem Proving, Synthesis
Daniel Larraz
he/him
Research Scientist
Research Interests: Formal Verification, Automated Reasoning
Hans-Jörg Schurr
he/him
Postdoctoral Scholar and Adjunct Assistant Professor
Research Interests: Cheesy power metal
Graduate Students
Alex Hubers
he/him
Ph.D. Student
Advisor: J. Garrett Morris
Research Interests: Programming Languages, Type Theory
Apoorv Ingle
he/him
Ph.D. Student
Advisor: J. Garrett Morris
Research Interests: Programming Languages, Type Systems
Jason Veenendaal
Ph.D. Student
Advisor: J. Garrett Morris
Research Interests: Programming Languages, Type Theory, Epistemology
Kartik Sabharwal
he/him
Ph.D. Student
Advisor: Cesare Tinelli
Research Interests: Automated theorem proving, especially automated induction, and programming languages
Mudathir Mohamed
he/him
mudathir-mahgoubyahia@uiowa.edu
Ph.D. Student
Advisor: Cesare Tinelli
Research Interests: Automated theorem proving
Rob Lorch
he/him
Ph.D. Student
Advisor: Cesare Tinelli
Research Interests: Automated Reasoning, Security
Sage Binder
Ph.D. Student
Advisor: Katherine Kosaian
Research Interests: Formal Verification, Formalizing Mathematics
Shweta Rajiv
she/her
Ph.D. Student
Advisor: Cesare Tinelli
Research Interests: Interactive Theorem Proving, Automated Reasoning, Formal Verification
Recent Alumni
- Arjun Viswanathan, Ph.D. ‘24. Visiting assistant professor at Union College, Schenectady, NY
- Andrew Marmaduke, Ph.D. ‘24. Postdoctoral scholar at University of Iowa, Iowa City, IA
- Christa Jenkins, Ph.D. ‘23. Postdoctoral associate at Stony Brook University, Stony Brook, NY
Former members
See our alumni page for a full archive of alumni and former staff.