Teoría estadística de campos
Las teorías de campos estadísticos se utilizan ampliamente para describir sistemas en la física o la biofísica de polímeros, como películas de polímeros, bloques nanoestructurados de copolímeros o polielectrolitos.
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.