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

WRLA 2014, April 5 - 6, 2014, Grenoble, France
TACAS 2014, April 7 - 11, 2014, Grenoble, France
CSTVA 2014, May 31, 2014, Hyderabad, India
SAT/SMT Summer School 2014, July 10 - 12, 2014, Semmering, Austria
SMT 2014, July 17 - 18, 2014, Vienna, Austria
VSTTE 2014, July 17 - 18, 2014, Vienna, Austria
CAV 2014, July 18 - 22, 2014, Vienna, Austria
IJCAR 2014, July 19 - 22, 2014, Vienna, Austria
ARQNL 2014, July 23, 2014, Vienna, Austria
STRESS 2014, October 3 - 7, 2014, Corfu, Greece
FMCAD 2014, October 21 - 24, 2014, Lausanne, Switzerland

Research

  Publications

  Selected Talks

  Projects & Grants

  Collaborators

  Honors & Awards

  CLC

Education

  Teaching

  Students

  Prospective
  Students

Service

  Profession