Cesare Tinelli
F. Wendell Miller Professor at University of Iowa
Iowa City, Iowa, United States
Summary
👤
Senior🎓
Top SchoolCesare Tinelli is the F. Wendell Miller Professor of Computer Science at the University of Iowa with 16+ years of faculty experience and a Ph.D. from the University of Illinois at Urbana-Champaign. He is an established researcher and lecturer specializing in formal methods and automated reasoning, with a long track record of advancing rigorous techniques for software correctness. At Iowa he has progressed through the full professorial ranks since 1999, balancing teaching, mentoring, and sustained research leadership. Known for bridging theoretical foundations with practical tools, he often focuses on making automated reasoning techniques usable in real-world software and verification workflows. Based in Iowa City, he brings an international academic background (Diploma from Università di Bari) and a consistent commitment to cultivating the next generation of computer scientists.
16 years of coding experience
13 years of employment as a software developer
Diploma di Laurea, Science dell'Informazione, Diploma di Laurea, Science dell'Informazione at Università degli Studi di BariUniversity of Illinois Urbana-Champaign
Italian, Spanish, English
Github Skills (28)
satisfiability10
lustre10
sat-solver10
modulo10
theorem10
checker10
sat10
smt10
model-checking9
theorem-proving9
logic8
integrity6
smt-lib5
attack-defense5
abstraction5
Programming languages (6)
Github contributions (5)
SMT-LIB/SMT-LIB-2
Mar 2023 - Nov 2024
Public reference documents for the SMT-LIB standard
Contributions:6 PRs, 42 pushes, 9 branches in 1 year 8 months
ModelChecker/IL
Jul 2021 - Mar 2025
Description of Model Checking Intermediate Language
Contributions:1 PR, 65 pushes, 1 comment in 3 years 9 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.