Title/Position
F. Wendell Miller Professor
Cesare Tinelli is a Professor in the Department of Computer Science at the University of Iowa. He is a co-director of the Computational Logic Center with Professors Aaron Stump, Omar Chowdhury and Garrett Morris.