Mailing address

Professor Cesare Tinelli
Department of Computer Science
The University of Iowa
Iowa City, IA 52242
USA

Office address

1C Jessup Hall
The University of Iowa

Office location