Cesare Tinelli's Research
Honors
- Invited/Keynote talks:
MOSCA 2023;
CADE-27;
VSTTE 2018;
Vampire 2018;
FroCoS 2017;
NSV 2016;
WRLA 2014;
SVARM 2013;
COMPARE 2012;
NFM 2012;
FT Summer School 2011;
WoLLIC 2010;
VERIFY 2007;
TABLEAUX 2007;
Interpolations (2007)
- Invited lectures/tutorials:
ETAPS 2019;
SC2 Summer School 2017;
STRESS 2014;
SAT/SMT Summer School 2012;
CAV 2005;
2004 Summer School on Combination of Decision Procedures
- Invited contributions:
Handbook of Model Checking, 2018;
Handbook of Satisfiability, 2009;
IEEE Intelligent Systems Magazine 21(6), 2006
- Program Conference Chairs: CADE-29, TACAS 2015, FroCoS 2011
Awards
- ETAPS SCT Best Tool Paper Award, 2022
- CAV Award, 2021
- EATCS Best Paper Award Nominee, 2021
- F. Wendell Miller Professor, 2019–24
- FMCAD Honorable mention, 2019
- FMCAD Best Paper Award, 2016
- Collegiate Scholar Award, 2012–14
- HVC Award, 2010
- NSF CAREER Award, 2003