Department of Computer Science
The University of Iowa

The Computational Logic Center at The University of Iowa seeks to advance the theory and practice of correct software development, by applying techniques from logic, programming languages, and automated theorem proving.

Our primary research areas are in programming languages, computer-aided verification, automated theorem proving, and type theory.