Cesare Tinelli

Professor and Collegiate Scholar
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

TACAS 2015, April 11 - 18, 2015, London, UK
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

Research

  Publications

  Selected Talks

  Projects & Grants

  Collaborators

  Honors & Awards

  CLC

Education

  Teaching

  Students

  Prospective
  Students

Service

  Profession