Cesare Tinelli


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

phone: +1-319-335-0735
fax: +1-319-335-3624
email: tinelli @ cs.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, Italy, 1990.

Research Interests

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

Events

SMT 2009, August 2 - 3, 2009, Montreal, Canada
CADE 2009, August 4 - 7, 2009, Montreal, Canada
FroCoS 2009, September 16 - 18, 2009, Trento, Italy

Research

  Projects/Grants

  Publications

  Selected Talks

  Collaborators

Education

  Teaching

  Students

Service

  Profession

  University