Cesare Tinelli appointed to F. Wendell Miller Professorship

Sunday, October 6, 2019

Goddard, Fuentes, Tinelli, Curto
Dean Steve Goddard, Provost and Executive Vice President
Montserrat Fuentes, Professor Cesare Tinelli, Executive
Associate Dean Raúl Curto

In an investiture ceremony in the Old Capitol Museum Senate Chamber on September 23, the University of Iowa College of Liberal Arts and Sciences celebrated the appointment of Professor Cesare Tinelli to the F. Wendell Miller Professorship.

Dean Goddard of the College of Liberal Arts and Sciences said that Tinelli's groundbreaking research and teaching is richly deserving of the recognition.

"I am very pleased that the University of Iowa has rewarded Professor Tinelli for his scholarship," Goddard said. "He is an outstanding and productive researcher, and the F. Wendell Miller Professorship will enable him to continue his work at the highest levels."

Cesare Tinelli, Professor of Computer Science, has research interests in software verification and in automated reasoning, particularly Satisfiability Modulo Theory (SMT), a field he helped establish through his research and service activities. Among other service to his profession, he is a founder and coordinator of the SMT-LIB initiative, an international standardization effort for SMT solvers. He co-leads the development of the widely used and award-winning SMT solver CVC4 and of the Kind 2 model checker. He regularly engages in research interactions with industry, including with Amazon Web Services, GE Research, United Technologies Research Center, and Rockwell Collins. Tinelli, who was named Collegiate Scholar in 2012, is co-director of the Computational Logic Center. He received his PhD from the University of Illinois at Urbana-Champaign, and joined the University of Iowa faculty in 1999.

The College of Liberal Arts and Sciences at the University of Iowa is a comprehensive college offering 73 majors in the humanities; fine, performing and literary arts; natural and mathematical sciences; social and behavioral sciences; and communication disciplines. More than 17,000 undergraduate and 1,900 graduate students study each year in the college’s 37 departments, led by professors at the forefront of teaching and research in their disciplines. The college teaches all UI undergraduates through the General Education Program, and confers about 70 percent of the UI's bachelor's degrees each academic year.