Department of Computer Science
The University of Iowa

Contact us


[Ruoyu Zhang]

Computational Logic Center
The University of Iowa
14 MacLean Hall
Iowa City, IA 52242
USA


Please send an email direct to Prof. Chowdhury, Stump, or Tinelli for more information about the center.