Jeremy Avigad
Researcher
Now Dean's Chair in Logic and Philosophy of Mathematics, Departments of Philosophy and Mathematical Sciences, Carnegie Mellon University; Director, Hoskinson Center for Formal Mathematics; Director, Institute for Computer-Aided Reasoning in Mathematics (ICARM)
Latest on AI4S.fyiCommentary · Oct 16How to Formalize All of MathematicsPhotos come from each person's X account, their own site, lab or team page, a conference page that lists them as a speaker in the same role, or Wikimedia Commons under the licence credited, so some may be out of date. Anyone can ask for theirs to be replaced or removed. Contact →
Affiliations
Current
- Dean's Chair in Logic and Philosophy of Mathematics, Departments of Philosophy and Mathematical Sciences · Carnegie Mellon University
- Director · Hoskinson Center for Formal Mathematics
- Director · Institute for Computer-Aided Reasoning in Mathematics (ICARM)
Current roles come from these dated records, not from the bio below. Each links the page it was read from.
Commentary by them
- 2026-10-16How to Formalize All of Mathematics
- 2026-10-05The Future of Mathematics
Something wrong or missing on this page? Tell me and it will be fixed or removed. Contact →