Faculty
| Name Surname Sort descending | Areas of research | |
|---|---|---|
| Benoit Anne | Algorithms, parallel algorithms, multi-criteria scheduling, resilience, energy optimization |
anne [point] benoit [a] ens-lyon.fr |
| Bronzino Francesco | Networks, Systems, Performance Evaluation. |
francesco [point] bronzino [a] ens-lyon.fr |
| Garivier Aurélien | Machine Learning, Statistics, Information Theory |
aurelien [point] garivier [a] ens-lyon.fr |
| Hanrot Guillaume | Algorithmic number theory, computer algebra, arithmetic |
guillaume [point] hanrot [a] ens-lyon.fr |
| Hirschkoff Daniel | Semantics of programming languages, concurrency theory |
daniel [point] hirschkoff [a] ens-lyon.fr |
| Koiran Pascal | Algebraic complexity, algebraic algorithms |
pascal [point] koiran [a] ens-lyon.fr |
| Pagani Michele | Semantics of Programming Languages, Linear Logic, Proof Theory, Lambda Calculus |
|
| Portier Natacha | Computational complexity |
natacha [point] portier [a] ens-lyon.fr |
| Riba Colin | Modal logic, game semantics and tree automata |
colin [point] riba [a] ens-lyon.fr |
| Riccietti Elisa | Numerical optimization, machine learning |
elisa [point] riccietti [a] ens-lyon.fr |
| Robert Yves | Algorithms and complexity, probabilities, parallel algorithms, scheduling, high-performance computing, resilience |
yves [point] robert [a] inria.fr |
| Schwarzentruber François | Artificial intelligence, reasoning about knowledge, planning and logic |
|
| Stehlé Damien | Cryptography, computer algebra, algorithmic number theory |
damien [point] stehle [a] ens-lyon.fr |
| Thierry Eric | Algorithms on graphs, partially ordered sets, discrete event systems |
eric [point] thierry [a] ens-lyon.fr |
| Thomassé Stéphan | Graph theory, tree decompositions, parameterized complexity |
stephan [point] thomasse [a] ens-lyon.fr |