Internship/PHD proposals
Internship proposals
-
Games on mildly nondeterministic automata: limit-average history-deterministic automata
Advisor: Karoliina Lehtinen
Degree: Master
Description: link -
Verification of security sensitive workflows with data
Advisor: Clara Bertolissi and Pierre-Alain Reynier
Degree: Master 2
Description: PDF -
Qualitative probabilistic hyperproperties and application to security
Advisor: Benjamin Monmege and Jean-Marc Talbot
Degree: Master 2
Description: PDF -
Parameterized Synthesis via Data Word Automata, Logics and Games
Advisor: Pierre-Alain Reynier and Emmanuel Filiot (Université libre de Bruxelles)
Degree: Master 2
Description: link -
Application de techniques d’apprentissage pour la gestion des accès
Advisor: Clara Bertolissi
Degree: Master 2
Description: PDF -
Calcul de plus courts chemins dans des graphes pondérés paramétrés
Advisor: Pierre-Alain Reynier and Benjamin Monmege
Degree: Licence or Master
Description: PDF