Talk Dates: 8-22 May 2015
Lecturer Biography: Jeremy Avigad is a Professor of Philosophy and Mathematical Sciences at Carnegie Mellon University, with research interests in mathematical logic, proof theory, philosophy of mathematics, formal verification, automated reasoning, and the history of mathematics. He received a BA in Mathematics from Harvard College in 1989, and a PhD in Mathematics from the University of California, Berkeley, in 1995. He has held visiting positions at the Microsoft Research – Inria Joint Centre in France and at Microsoft Research Redmond. He has also held fellowships from the Andrew W. Mellon Foundation and the John Templeton Foundation, and his research has been supported by the National Science Foundation and Air Force Office of Scientific Research.