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
Intelligent Data-Intensive Systems Lab (IDISL)
IOWA-HPC
Personal Website
Google Scholar
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 (2023-24)
Personal Website
Computational Logic Center
Google Scholar
Rishab Nithyanand portrait - submitted

Rishab Nithyanand, Ph.D.

Assistant Professor
Personal Website
SPARTA Lab
Google Scholar
Suely Oliveira

Suely Oliveira, Ph.D.

Professor
Personal Website
Google Scholar
Research Group
Aaron Stump

Aaron Stump, Ph.D.

Professor
Personal Website
Computational Logic Center
Google Scholar
Cesare Tinelli

Cesare Tinelli, Ph.D.

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