Estadística matemática
La estadística matemática es la escala previa en el estudio de la estadística desde un punto de vista puramente formal, usando la teoría de la probabilidad y otras ramas de la matemática tales como álgebra lineal y análisis matemático. La estadística matemática trata de la obtención de información a partir de los datos. En la práctica tales datos contienen cierta aleatoriedad o incertidumbre. La estadística trabaja con estos datos usando los métodos de la teoría de la probabilidad.
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.