David McAllester

Bio

My blog

TTIC31230, Fundamentals of Deep Learning, Autumn 2020

A recent talk on MathZero and the foundations of mathematics

A Timeline of Research Areas:

• 1978-1980 Truth Maintenence
• 1981-1983 The Foundations of Mathematics
• 1984-1993 Computer Chess
• 1984-1995 The Ontic Proof Verification System
• 1988-1997 SAT Solving
• 1989-1991 AI Planning
• 1989-1992 Natural Logic, Cognitive Judgments, and Obviousness
• 1989-2004 Static Analysis (Compilers), Type Theory and Automated Dynamic Programming
• 1994-1997 Constraint Programming
• 1996-1999 Reinforcement Learning
• 1997-2008 Probabilistic Programming
• 1997-2013 PAC-Bayesian Learning Theory
• 1997-2013 Misc. Learning Theory
• 1999-2018 Natural Language Processing
• 2002-2002 Concentration Inequalities
• 2002-2018 Co-Training
• 2007-2015 Computer Vision
• 2009-present Set-Theoretic Type Theory and MathZero