Faculty Specializing in this Area

Katherine Kosaian portrait

Katherine Kosaian, Ph.D.

Assistant Professor
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
Cesare Tinelli

Cesare Tinelli, Ph.D.

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