Research and teaching at the intersection of logic, foundations of computing, formal methods, proof assistants, and artificial intelligence.
Members
Faculty Members
- Alexander Kurz Professor in Computer Science and Mathematics; logic, category theory, and computer science.
- Jonathan Weinberger Assistant Professor in Computer Science and Mathematics; logic, type theory, category theory, and computer science.
Graduate Students
- Dennis Frieberg MPP D.Sc. student, mathematics emphasis.
- Talitha (Tally) Holcombe MPP D.Sc. student, mathematics emphasis; formalization, formal verification, proof assistants, LLM-assisted proof generation, frame theory, and theoretical computer science.
- Spencer Woolfson MPP D.Sc. student, mathematics emphasis; category theory, type theory, homotopy theory, logic, and computer formalizations.