Enseignants-chercheurs
| Name Surname Trier par ordre décroissant | Areas of research | |
|---|---|---|
| Benoit Anne | Algorithmes, algorithmes parallèles, ordonnancement multi-critères, résilience, optimisation énergétique |
anne [point] benoit [a] ens-lyon.fr |
| Bronzino Francesco | Réseaux, Systèmes, Évaluation de performances |
francesco [point] bronzino [a] ens-lyon.fr |
| Garivier Aurélien | Apprentissage statistique, Statistiques, Théorie de l'information |
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 | Sémantique des langages de programmation, théorie de la concurrence |
daniel [point] hirschkoff [a] ens-lyon.fr |
| Koiran Pascal | Complexité algébrique, algorithmes algébriques |
pascal [point] koiran [a] ens-lyon.fr |
| Pagani Michele | Sémantique des langages de programmation, logique linéaire, théorie de la preuve, lambda calcul |
|
| Portier Natacha | Théorie de la complexité |
natacha [point] portier [a] ens-lyon.fr |
| Riba Colin | Logique modale, sémantique de jeu et automates d'arbres |
colin [point] riba [a] ens-lyon.fr |
| Riccietti Elisa | Optimisation numérique, apprentissage statistique |
elisa [point] riccietti [a] ens-lyon.fr |
| Robert Yves | Algorithme et complexité, probabilités, algorithmes parallèles, ordonnancement, calcul à haute performance, résilience |
yves [point] robert [a] inria.fr |
| Schwarzentruber François | Intelligence artificielle, raisonnement sur les connaissances, planification et logique |
|
| Stehlé Damien | Cryptographie, calcul formel, théorie algorithmique des nombres |
damien [point] stehle [a] ens-lyon.fr |
| Thierry Eric | Algorithmes sur les graphes, ensembles partiellement ordonnés, systèmes à événements discrets |
eric [point] thierry [a] ens-lyon.fr |
| Thomassé Stéphan | Théorie des graphes, décompositions en arbres, complexité paramétrée |
stephan [point] thomasse [a] ens-lyon.fr |