Cesare Tinelli's Research



Honors

Invited/Keynote talks: 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

Invited PC Chairs: TACAS 2015, FroCoS 2011

Awards

F. Wendell Miller Professor, 2019–24
FMCAD Best Paper Award, 2016
Collegiate Scholar Award, 2012–14
HVC Award, 2010
NSF CAREER Award, 2003

Main Page
Research

  Publications

  Selected Talks

  Projects & Grants

  Collaborators

  Honors & Awards

  CLC