Cesare Tinelli's Research



Honors

Invited/Keynote talks: 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: 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, 2017; Handbook of Satisfiability, 2009; IEEE Intelligent Systems Magazine 21(6), 2006

Invited PC Chairs: TACAS 2015, FroCoS 2011

Awards

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