David McAllester

Professor, Toyota Technological Institute at Chicago

mcallester@ttic.edu

(773)702-5562

TTIC31230, Fundamentals of Deep Learning

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-2021 Computer Vision
2009-present Type Theory and MathZero