Hdr de Charles Paperman

Finite Semigroup Theory in Algorithmics, Complexity, and Compilation

Dans cette soutenance, je présenterai l'application de la théorie des semi-groupes à des problèmes algorithmiques et de complexité. Je montrerai comment cette théorie permet de traiter des questions variées, allant de la gestion de données dynamiques aux algorithmes en streaming, et comment elle se traduit en optimisations pratiques pour la compilation, notamment via l'exploitation des architectures SIMD.

soutenue le 01/10/2024

Hdr de Charles Paperman

Finite Semigroup Theory in Algorithmics, Complexity, and Compilation

Dans cette soutenance, je présenterai l'application de la théorie des semi-groupes à des problèmes algorithmiques et de complexité. Je montrerai comment cette théorie permet de traiter des questions variées, allant de la gestion de données dynamiques aux algorithmes en streaming, et comment elle se traduit en optimisations pratiques pour la compilation, notamment via l'exploitation des architectures SIMD.

soutenue le 01/10/2024