Física estadística
Un enfoque estadístico puede funcionar bien en sistemas clásicos cuando el número de grados de libertad (y, por lo tanto, el número de variables) es tan grande que la solución exacta no es posible o no es realmente útil. La mecánica estadística también puede describir el trabajo en dinámica no lineal, teoría del caos, física térmica, dinámica de fluidos (particularmente en números altos de Knudsen) o física de plasma.
Teoría de tipos homotópica
Esto incluye, entre otras líneas de trabajo, la construcción de modelos homotópicos y en teorías de categorías de alto orden para las teorías de tipos intensionales; el uso de la teoría de tipos como lógica (o lenguaje interno) de la teoría de homotopía abstracta y teoría de categorías de orden superior; el desarrollo de matemáticas dentro de fundaciones basadas en teoría de tipos (incluyendo tanto matemática existente como la matemática nueva que los tipos homotópicos hacen posible); y la formalización de cada una de estas líneas en asistentes de demostración.