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

fax: +1-319-335-3624

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

SAT/SMT Summer School 2012, June 12th - June 15th, 2012, Trento, Italy

IJCAR 2012, June 26 - June 29, 2012, Manchester, UK

SMT 2012, June 30 - July 1, 2012, Manchester, UK

StarExec 2012, July 1, 2012, Manchester, UK

TACAS 2013, March 16 - 24 2013, Rome, Italy