The Computational Logic Center
Computational Logic Center
The University of Iowa
1 Jessup Hall
Iowa City, IA 52242
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 foundations of programming languages, type theory, computer-aided verification, automated reasoning, computer security and privacy.
News
Jan 1, 2023 | Hubers, Morris Submission Accepted to ICFP'23 |
---|