- Campus:
- IU Bloomington
Research: Applied Logic
My general area of interest is applied logic: the study of mathematical and conceptual tools for use in computer science, linguistics, artificial intelligence and other areas. Applied logic is applied mathematics. It is logic looking outward, reaching towards the diverse collection of worlds in which logic is used.
Talks at the 2026 European Summer School in Logic, Language, and Information
- Oehrle Lecture, August 10, 2026: How to not give up on Logic or Semantics.
- Course on Natural Logic
- talk: Final Coalgebras and Corecursive Algebras in Continuous Mathematics
- talk: Mathematical NLI: this should be easy!
Other recent talks
Association for Symbolic Logic invited talk: How to not give up on Logic
IU Logic Seminar: Monotonicity Inference in Theory and Practice
Mathematics of Language meeting (co-chair), Stony Brook University, August 2025.
Computer Science Logic 2027

