Kémo Sané Directeur : Quentin Stiévenart Depuis : 2024 UQAM Sujet de mémoire/thèse Support de types algébriques pour l’exécution symbolique
