Enseignants-chercheurs

Team members

Name Surname Trier par ordre décroissant Year of study Areas of research Mail
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