The University of Iowa

College of Liberal Arts and Sciences

Computer Science

Faculty specializing in this area

Katherine Kosaian portrait

Katherine Kosaian, PhD

Assistant Professor

Personal website

J. Garrett Morris

J. Garrett Morris, PhD

Assistant Professor

Inaugural Emeriti-Faculty Scholar

Personal website

Computational Logic Center website

Taylor Olson portrait

Taylor Olson, PhD

Assistant Professor

Personal website

Cesare Tinelli

Cesare Tinelli, PhD

F. Wendell Miller Professor

Personal website

Computational Logic Center