Faculty Specializing in this Area

Octav Chipara

Octav Chipara, Ph.D.

Professor
Personal Website
Mobile Systems Laboratory
Google Scholar
Steve Goddard

Steve Goddard, Ph.D.

Professor
Director of Graduate Studies
Google Scholar
Peng Jiang

Peng Jiang, Ph.D.

Assistant Professor
Emeriti-Faculty Scholar
Intelligent Data-Intensive Systems Lab (IDISL)
IOWA-HPC
Personal Website
Google Scholar
Katherine Kosaian portrait

Katherine Kosaian, Ph.D.

Assistant Professor
Personal Website
Guanpeng Li portrait - submitted

Guanpeng Li, Ph.D.

Assistant Professor
IOWA-HPC
Personal Website
Google Scholar
J. Garrett Morris

J. Garrett Morris, Ph.D.

Assistant Professor
Inaugural Emeriti-Faculty Scholar
Personal Website
Computational Logic Center
Google Scholar
Rishab Nithyanand portrait - submitted

Rishab Nithyanand, Ph.D.

Assistant Professor
Emeriti-Faculty Scholar
Personal Website
SPARTA Lab
Google Scholar
Cesare Tinelli

Cesare Tinelli, Ph.D.

F. Wendell Miller Professor
Personal Website
Computational Logic Center
Google Scholar