AI Dojos
SPRING 2018
Set Theory
Middle East Technical University · Barak Kaya
FALL 2021
Mathematical Logic
University of California Los Angeles · Artem Chernikov
FALL 2013
Homotopy Type Theory
Carnegie Mellon University · Robert Harper
SUMMER 2016
Category Theory
Seattle · Bartosz Milewski
Measure Theory
Instituto de Matemática Pura e Aplicada · Claudio Landim
SPRING 2020
Probability Theory
FALL 2020
Theory of Computation
Massachusetts Institute of Technology · Michael Sipser
SPRING 2017
Undergraduate Complexity Theory
Carnegie Mellon University · Ryan O'Donnel
FALL 2017
Graduate Complexity Theory
SPRING 2012
Information Theory, Pattern Recognition and Neural Networks
University of Cambridge · David MacKay
WINTER 2015
Machine Learning Theory
University of Waterloo · Shai Ben-David
Parallel Computing and Scientific Machine Learning
Massachusetts Institute of Technology · Chris Rackauckas
x
Welcome to
A place for developing your own understanding of intelligence.
© 2025 AI Dojos
