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

13th Summer School on Formal Techniques, May 25–31, 2024, Menlo Park, CA, USA

OSSyM 2024, July 23, 2024, Toronto, Canada

Marktoberdorf Summer School 2024, August 6–17, 2024, Herrsching am Ammersee, Germany

SAT 2024, August 21–24, 2024, Pune, India

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