Gruppi di Coxeter, gruppi di Artin, strutture combinatorie di Garside, partizioni noncrossing, congettura K(π,1).
Arrangiamenti di iperpiani, arrangiamenti torici, matroidi.
Topologia combinatoria, teoria di Morse discreta, shellability.
Algoritmi in geometria e topologia.
Elaborazione del linguaggio naturale, large language models, allineamento dell'AI.
Deep learning.
Applicazioni del machine learning alla formalizzazione automatica e alla dimostrazione di teoremi.
AI per i giochi.
