lm4sci Jeremy Avigad Talk

Jeremy Avigad is Dean's Chair in Logic and Philosophy of Mathematics in the Department of Philosophy and the Department of Mathematical Sciences at Carnegie Mellon University. He is the director of the Institute for Computer-Aided Reasoning in Mathematics, an NSF Mathematical Sciences Research Institute, and the director of the Hoskinson Center for Formal Mathematics, a research center at Carnegie Mellon. He has published extensively in mathematical logic, formal methods, and the history and philosophy of mathematics, and he is currently interested in applications of formal methods and AI to mathematics. He serves on the Lean Community Admin Team and the Board of Directors the Lean Focused Research Organization.