Cesare Tinelli

Professor
Department of Computer Science
The University of Iowa
14 MacLean Hall
Iowa City, IA 52242
USA

phone: +1-319-335-0735
email: cesare-tinelli @ uiowa.edu
office: 201D MLH

Education

PhD in CS, University of Illinois at Urbana-Champaign, 1999
MS in CS, University of Illinois at Urbana-Champaign, 1995
Laurea in Scienze dell'Informazione, University of Bari, 1990

Research Interests

Satisfiability Modulo Theories Automated Reasoning,   Software Verification Logic and Formal Methods in Computer Science

Events

SAT/SMT Summer School 2015, July 15-17, 2015, Stanford, CA, USA
SMT 2015, July 18–19, 2015, San Francisco, CA, USA
CAV 2015, July 18–24, 2015, San Francisco, CA, USA
PxTP 2015, August 2–3, 2015, Berlin, Germany
FroCoS 2015, September 15–19, 2015, Wroclaw, Poland
SETTA 2015, November 4–6, 2015 Nanjing, China
CPP 2016, January 18–19, 2016, Saint Petersburg, FL, USA
LICS 2016, July 5–8, 2016, New York City, NY, USA

Research

  Publications

  Selected Talks

  Projects & Grants

  Collaborators

  Honors & Awards

  CLC

Education

  Teaching

  Students

  Prospective
  Students

Service

  Profession