Members

Professors

J. Garrett Morris

he/him

garrett-morris@uiowa.edu

Assistant Professor

Research Interests: Programming Languages

Katherine Kosaian

katherine-kosaian@uiowa.edu

Assistant Professor

Research Interests: Formal Verification, Interactive Theorem Proving

Cesare Tinelli

cesare-tinelli@uiowa.edu

Professor

Research Interests: Automated Reasoning, Formal Methods

Research Scientists & Postdoctoral Scholars

Andrew Marmaduke

he/him

andrew-marmaduke@uiowa.edu

Postdoctoral scholar

Research Interests: Elden Ring

Andrew Reynolds

he/him

andrew-reynolds@uiowa.edu

Research Scientist

Research Interests: SMT, Automated Theorem Proving, Synthesis

Daniel Larraz

he/him

daniel-larraz@uiowa.edu

Research Scientist

Research Interests: Formal Verification, Automated Reasoning

Ethan Rooke

he/him

ethan-rooke@uiowa.edu

Postdoctoral scholar

Research Interests: Rafting

Hans-Jörg Schurr

he/him

hansjoerg-schurr@uiowa.edu

Postdoctoral Scholar and Adjunct Assistant Professor

Research Interests: Cheesy power metal

Graduate Students

Alex Hubers

he/him

ahubers@uiowa.edu

Ph.D. Student

Advisor: J. Garrett Morris

Research Interests: Programming Languages, Type Theory

Apoorv Ingle

he/him

apoorv-ingle@uiowa.edu

Ph.D. Student

Advisor: J. Garrett Morris

Research Interests: Programming Languages, Type Systems

Jason Veenendaal

jason-veenendaal@uiowa.edu

Ph.D. Student

Advisor: J. Garrett Morris

Research Interests: Programming Languages, Type Theory, Epistemology

Kartik Sabharwal

he/him

kartik-sabharwal@uiowa.edu

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

robert-lorch@uiowa.edu

Ph.D. Student

Advisor: Cesare Tinelli

Research Interests: Automated Reasoning, Security

Sage Binder

sage-binder@uiowa.edu

Ph.D. Student

Advisor: Katherine Kosaian

Research Interests: Formal Verification, Formalizing Mathematics

Shweta Rajiv

she/her

shweta-rajiv@uiowa.edu

Ph.D. Student

Advisor: Cesare Tinelli

Research Interests: Interactive Theorem Proving, Automated Reasoning, Formal Verification

Recent Alumni

Former members

See our alumni page for a full archive of alumni and former staff.