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: 1410 Seamans Center


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

Biography

Short bio
Full CV

Events

MVD 2018, September 28–29, 2018, Iowa City, IA, USA
LPAR-22, November 16–21, 2018, Awassa Ethiopia
Dagstuhl Seminar: Bringing CP, SAT and SMT together, February 3–6, 2019, Wadern, Germany
ETAPS 2019, April 6–11, 2019, Prague, Czech Republic
CAV 2019, August 25–30, 2019, Natal, Brasil
CADE-27, July 15–18, 2019, New York, NY, USA
Dagstuhl Seminar: Beyond Deduction, September 8–13, 2019, Wadern, Germany

Research

  Publications

  Selected Talks

  Projects & Grants

  Collaborators

  Honors & Awards

  CLC

Education

  Teaching

  Advisees

  Prospective
  Students

Service

  Profession