Name Surname Trier par ordre décroissant | Year of study | Areas of research | |
---|---|---|---|
Benoit Anne | L3, M1 |
Algorithmes, algorithmes parallèles, ordonnancement multi-critères, résilience, optimisation énergétique |
anne [point] benoit [a] ens-lyon.fr |
Caron Eddy | L3, M1 |
Systèmes distribués, gestion de ressources (cloud, fog, etc.), gestion de workflow, intergiciel |
eddy [point] caron [a] ens-lyon.fr |
Garivier Aurélien | M2 | aurelien [point] garivier [a] ens-lyon.fr | |
Hanrot Guillaume |
Théorie algorithmique des nombres, calcul formel, arithmétique |
guillaume [point] hanrot [a] ens-lyon.fr | |
Hirschkoff Daniel | L3 |
Sémantique des langages de programmation, théorie de la concurrence |
daniel [point] hirschkoff [a] ens-lyon.fr |
Koiran Pascal | L3, M1, M2, Agrégation |
Complexité algébrique, algorithmes algébriques |
pascal [point] koiran [a] ens-lyon.fr |
Portier Natacha | L3 |
Complexité |
natacha [point] portier [a] ens-lyon.fr |
Riba Colin | M1, M2 |
Logique modale, sémantique de jeu et automates d'arbres |
colin [point] riba [a] ens-lyon.fr |
Riccietti Elisa | M1 |
Optimisation numérique, apprentissage statistique |
elisa [point] riccietti [a] ens-lyon.fr |
Robert Yves | L3 |
Algorithme et complexité, probabilités, algorithmes parallèles, ordonnancement, calcul à haute performance, résilience |
yves [point] robert [a] inria.fr |
Stehlé Damien | M1 |
Cryptographie, calcul formel, théorie algorithmique des nombres |
damien [point] stehle [a] ens-lyon.fr |
Tchana Alain | L3, M2 |
Systèmes (système d'exploitation, virtualisation, réseaux) |
alain [point] tchana [a] ens-lyon.fr |
Thierry Eric | L3, M1 |
Algorithmes sur les graphes, ensembles partiellement ordonnés, systèmes à événements discrets |
eric [point] thierry [a] ens-lyon.fr |
Thomassé Stéphan | M2 |
Décompositions en arbres, complexité paramétrée |
stephan [point] thomasse [a] ens-lyon.fr |