Automated Reasoning at The University of Iowa

The research projects on Automated Reasoning at the Department of Computer Science of the The University of Iowa, are led by the following faculty members:

• Alberto Maria Segre

• Cesare Tinelli

• Hantao Zhang

Please see their individual web pages for the ongoing projects.