GradNova
Home
Find Faculty
Universities
Research
Home
/
Universities
/
University of Iowa
/
Cesare Tinelli
C
Cesare Tinelli
F. Wendell Miller Professor
Computer Science
,
University of Iowa
Research Interests
Applications of Logic in Computer Science
Automated Reasoning
Formal Methods
Foundations of Programming Languages
Academic Metrics
Links
Grants