Department of Computer Science
The University of Iowa

Topics

First-order Theorem Proving


Model Checking and Verification


Programming Languages Theory


Privacy


Proof Checking


Satisfiability Modulo Theories


Security


Verified Programming