Nom Prénom Trier par ordre décroissant | Fonction et responsabilités | Domaines de recherche | |
---|---|---|---|
Garivier Aurélien | Responsable du M2 |
Apprentissage statistique, Statistiques, Théorie de l'information |
aurelien [point] garivier [a] ens-lyon.fr |
Hirschkoff Daniel | Responsable du M1 |
Sémantique des langages de programmation, théorie de la concurrence |
daniel [point] hirschkoff [a] ens-lyon.fr |
Koiran Pascal | Responsable de la préparation à l'agrégation d'informatique |
Complexité algébrique, algorithmes algébriques |
pascal [point] koiran [a] ens-lyon.fr |
Pagani Michele | Directement du département |
Sémantique des langages de programmation, logique linéaire, théorie de la preuve, lambda calcul |
|
Portier Natacha | Responsable relations internationales pour le Département d'Informatique |
Théorie de la complexité |
natacha [point] portier [a] ens-lyon.fr |
Riba Colin | Responsable du concours en informatique |
Logique modale, sémantique de jeu et automates d'arbres |
colin [point] riba [a] ens-lyon.fr |
Thierry Eric | Directeur adjoint du département Responsable de la L3 |
Algorithmes sur les graphes, ensembles partiellement ordonnés, systèmes à événements discrets |
eric [point] thierry [a] ens-lyon.fr |