Secondary Navigation

Cesare Tinelli Appointed F. Wendell Miller Professor

Tinelli posing next to CLAS Dean Steve Goddard and faculty and student members of his research group and others from UIowaCS

On Monday, September 23, 2019, Professor Cesare Tinelli was formally honored as an F. Wendell Miller Professor at the Annual Faculty Meeting. At the same meeting, Dean (and Professor of Computer Science) Steve Goddard was formally honored as the UI Alumni Association Dean's Chair in the Liberal Arts and Sciences.

This F. Wendell Miller Professorship is a five-year, renewable appointment with an annual research/travel fund, which may be used to enhance Prof. Tinelli's scholarly work and professional travel. Through this appointment the UI College of Liberal Arts and Sciences demonstrates their pride in the scholarly work, professional contributions, and the distinction Prof. Tinelli brings to our department, the College, and the University.


Cesare Tinelli received a Ph.D. in Computer Science from the University of Illinois at Urbana-Champaign in 1999. His research interests include automated reasoning, formal methods, software verification, foundations of programming languages, and applications of logic in computer science.

Professor Tinelli has done influential work in automated reasoning, in particular in Satisfiability Modulo Theories (SMT), a field he helped establish through his research and service activities. His research has been funded both by governmental agencies (AFOSR, AFRL, DARPA, NASA, NSF, and ONR) and corporations (Amazon, Intel, General Electric, Rockwell Collins, and United Technologies). His work has appeared in more than 80 refereed publications, including articles in such journals as Artificial Intelligence, Information and Computation, the Journal of the ACM, the Journal of Automated Reasoning, Formal Methods in System Design, Logical Methods in Computer Science, Theoretical Computer Science, and Theory and Practice of Logic Programming.

He is a founder and coordinator of the SMT-LIB initiative, an international effort aimed at standardizing benchmarks and I/O formats for SMT solvers. He has led the development of the award-winning Darwin theorem prover and the Kind 1 and Kind 2 model checkers. He has co-led the development of the widely used and award-winning CVC3 and CVC4 SMT solvers. He also co-leads the development of StarExec, a cross community web-based service for the comparative evaluation of logic solvers.

He received an NSF CAREER award in 2003 for a project on improving extended static checking of software by means of advanced automated reasoning techniques, and a Haifa Verification Conference award in 2010 for his role in building and promoting the SMT community. He has been an invited speaker at conferences and workshops (including CAV, ETAPS, FroCoS, HVC, NFM, TABLEAUX and VSTTE) and has given invited lectures at numerous institutions worldwide (including UC Berkeley, CEA, CMU, ENS, EPFL, IMDEA, Inria, MIT, MPI, MSR, NYU, Oxford U., Stanford U., and VERIMAG) and international summer schools.

He is an associate editor of the Journal of Automated Reasoning and a founder the SMT workshop series and the Midwest Verification Day series. He has served in the program committee of more than 70 automated reasoning and formal methods conferences and workshops, as well as the steering committee of CADE, ETAPS, FTP, FroCoS, IJCAR, and SMT. He was the PC chair of FroCoS'11 and a PC co-chair of TACAS'15.

He has worked extensively with researchers and developers from companies (including Intel, General Electric, Microsoft, Rockwell Collins, and United Technologies) and governmental agencies (NASA and Onera). His students and postdocs have later taken positions at such agencies, institutions and companies as Amazon Web Services, Apple, CEA, Comsoft, EPFL, GE Global Research, MathWorks, NASA, OcamlPro, Two Sigma, UCSB, U. of Innsbruck, and U. of Tokyo.


The Miller Professorship is named for F. Wendell Miller, an attorney and farm manager from Rockwell City, Iowa, who died in 1995. The Miller Endowment Trust was established from the Miller estate, with interest and income from the trust divided equally between the UI and Iowa State University to encourage the advancement of academic endeavors.

IowaNow feature on Professor Tinelli's investiture. [10/6/19]

Past F. Wendell Miller Professors, as well as other CLAS Collegiate Fellows and Holders of Named Chairs and Professorships may be found here.