Professor Cesare Tinelli
I am a Professor of Computer Science at the University of Iowa. I have a PhD from the University of Illinois at Urbana-Champaign. My geneal research interests include automated reasoning, formal methods, and software verification. I have done foundational work in Satisfiability Modulo Theories (SMT) and developed several automated reasoning tools and techniques. My more recent work includes higher-order reasoning and reasoning by induction in SMT, proof-certificate generation in automated reasoning and model checking, logical frameworks for proof systems, integration of automated theorem provers into proof assistants, intermediate languages design for model checking, and model-checking-based security analysis. I am one of the founding faculty members of the Computational Logic Center at Iowa.I am always looking for motivated and well prepared graduate students and postdocs to join my team. If you are a prospective student, please read this page before contacting me. If you are a prospective postdoc, please contact me directly for more information on possible openings.