Cesare Tinelli

F. Wendell Miller 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: 1 Jessup Hall, Room C

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

TACAS 2025, May 3–8, 2025, Hamilton, Canada