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.