Coxeter groups, Artin groups, combinatorial Garside structures, noncrossing partitions, K(π,1) conjecture.
Hyperplane arrangements, toric arrangements, matroids.
Combinatorial topology, discrete Morse theory, shellability.
Algorithms in geometry and topology.
Natural language processing, large language models, AI alignment.
Deep learning.
Applications of machine learning to autoformalization and theorem proving.
AI for games.
