Logic
Research in mathematical logic at the University of Notre Dame largely resides in two areas: computability theory and model theory. Computability theory concerns computability and complexity, often measured by Turing reducibility. Model theory at Notre Dame deals particularly with classification theory and ominimality.
Logic Seminar
The logic group runs a number of seminars including the logic seminar the model theory seminar, the computability seminar, and a number of informal seminars. View titles and abstracts of past, current, and future events.
ND Mathematical Logic Calendar (in a window by its self)
Mailing List
Weekly seminar announcements are sent using the mailing list mathlogiclist@nd.edu. For details see https://groups.google.com/a/nd.edu/d/forum/mathlogiclist.
In addition to faculty from the math department, the Logic Research Group includes faculty from the philosophy department.
Regular Faculty
Graduate Students

Rachael Alvir
Logic

Nicolas Chavarria Gomez

Li Ling Ko

Justin Miller

John Siratt
Affiliate Faculty

Lumpkins Postdoctoral Fellow
Model theory and its interactions with combinatorics, group theory, and number theory

Affiliate Professor

Guest Assistant Professor

Affiliate Professor

Affiliate Professor

Affiliate Professor

Affiliate Professor

Affiliate Professor

Kenna Visiting Assistant Professor
Commutative Algebra and its interactions with Algebraic Geometry, Combinatorics, and Homological Algebra

Affiliate Professor


Affiliate Professor


Affiliate Professor

Affiliate Professor