Logic
Introduction
Mathematical logic is a branch of mathematics that deals with formal systems, symbolic logic, and the study of mathematical reasoning. It focuses on understanding the nature of mathematical reasoning and provides tools for analyzing the structure of mathematical arguments and proofs. At MSCS, faculty members work in computability theory, model theory, and in applications of those to other areas of mathematics such as algebra, combinatorics, geometry and number theory.
Faculty
Gabriel Conant
Assistant Professor
Email:
Fred Drueck
Research Assistant Professor
Phone:
Email:
James Freitag
Professor
Email:
Matthew Harrison-Trainor
Assistant Professor
Email:
Scott Mutchnik
Research Assistant Professor
Email:
Ronnie Nagloo
Associate Professor
Phone:
Email:
Caroline Terry
Associate Professor
Phone:
Email:
Upcoming Seminars
Feb
24
2026
Logic Seminar: TBA, by Kyle Gannon
Tuesday, 3:00 pm–3:50 pm
636 SEO
Mar
3
2026
Logic Seminar: TBA, by Yuyan He
Tuesday, 3:00 pm–3:50 pm
636 SEO
Mar
10
2026
Logic Seminar: TBA, by Yuki Takahashi
Tuesday, 3:00 pm–3:50 pm
636 SEO
Mar
31
2026
Louise Hay Logic Seminar: TBD, by David Gonzalez
Tuesday, 3:00 pm–3:50 pm
636 SEO