about.md

layout	title	permalink	profile	nav	news	latest_posts	selected_papers	social
about		/	align image image_circular address right mlh.jpg false <p> Computational Logic Center</p> <p>The University of Iowa</p> <p>1 Jessup Hall</p> <p>Iowa City, IA 52242</p>	false	true	true	false	false

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.