Enseignants-chercheurs
| Name Surname Trier par ordre décroissant | Year of study | Areas of research | |
|---|---|---|---|
| Audebaud Philippe | M1, Agrégation |
Théorie des types, sémantique, lambda-calcul |
philippe [point] audebaud [a] ens-lyon.fr |
| 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 |
| Fawzi Omar | M1, M2 |
Théorie de l'information quantique |
omar [point] fawzi [a] ens-lyon.fr |
| Hanrot Guillaume | M1, M2 |
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, 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 |
| 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 | M2 |
Cryptographie, calcul formel, théorie algorithmique des nombres |
damien [point] stehle [a] ens-lyon.fr |
| Tchana Alain | L3, M1, M2 |
Systèmes (Système d'Exploitation, Virtualisation, Réseaux) |
alain [point] tchana [a] ens-lyon.fr |
| Thierry Eric | L3 |
Algorithmes sur les graphes, ensembles partiellement ordonnés, systèmes à événements discrets |
eric [point] thierry [a] ens-lyon.fr |
| Thomassé Stéphan | M1, M2 |
Décompositions en arbres, complexité paramétrée |
stephan [point] thomasse [a] ens-lyon.fr |