Membres du corps enseignant

Président

SAMUEL MIMRAM, PROFESSEUR
Mots-clés : sémantique dénotationnelle (sémantique des jeux en particulier), concurrence, théorie de la réécriture, théorie des catégories, logique linéaire, langages de programmation, topologie algébrique et systèmes hybrides
Vices-présidents

OLIVIER BLAZY, PROFESSEUR
Mots-clés : Cryptographie, cybersécurité, protocole, preuves, vie privée, postquantique

GILLES SCHAEFFER, PROFESSEUR CHARGÉ DE COURS
Directeur du Laboratoire d'Informatique
Mots-clés : Enumerative combinatorics, analysis of algorithms and data structures, random sampling and graph drawing algorithms
Membres résidents du corps enseignant

SARAH BERKEMER, PROFESSEURE ASSISTANTE
Mots-clés : RNA bioinformatics, RNA sequencing, SHAPE data analysis, Dynamic programming, Formal Languages, Graph theory, Early evolution, Archaea, Orthology, Data Science, Urban Development

OLIVIER BOURNEZ, PROFESSEUR
Mots-clés : Complexité, calculabilité, modèles analogiques

MARIE-PAULE CANI, PROFESSEURE DE CLASSE EXCEPTIONNELLE
Mots-clés : Computer Graphics, Computer Vision, Computer Animation, Expressive Modeling (Creative AI)

TITOUAN CARETTE, PROFESSEUR ASSISTANT

LUCA CASTELLI ALEARDI, PROFESSEUR ASSISTANT
Mots-clés : computational geometry, graph algorithms, graph drawing, data compression

THOMAS CLAUSEN, PROFESSEUR
Mots-clés : Networks, IoT

JUAN-ANTONIO CORDERO-FUERTES, PROFESSEUR
Mots-clés : réseaux, apprentissage, communication, IOT, wireless, modélisation, performance, protocoles, Internet

YANLEI DIAO, PROFESSEURE
Mots-clés : Big data analytics, scalable intelligent information systems, optimization of cloud data analytics, data stream analytics, explainable anomaly detection, interactive data exploration, genomic data analysis, and uncertain data management.

BENJAMIN DOERR, PROFESSEUR DE CLASSE EXCEPTIONNELLE
Mots-clés : Algorithms, heuristics, artificial intelligence, probabilistic methods in computer science

JEREMY DUBUT, PROFESSEUR ASSISTANT

CONSTANTIN ENEA, PROFESSEUR
Mots-clés : Méthodes formelles, vérification de logiciels, model checking, langages de programmation, calcul distribué

ERIC GOUBAULT, PROFESSEUR DE CLASSE EXCEPTIONNELLE
Mots-clés : Verification, Static Analysis, Cyber-Physical Systems , Safe AI, Directed Algebraic Topology, Temporal and Epistemic Logics

EMMANUEL HAUCOURT, PROFESSEUR
Mots-clés : Concurrency Theory, Geometry of Concurrency, Directed Algebraic Topology, Static Analysis

KEVIN JIOKENG, PROFESSEUR ASSISTANT
Mots-clés : Networks, IoT, Ubiquitous Computing, Localization.

VICKY KALOGEITON, PROFESSEURE ASSISTANTE
Mots-clés : Computer Vision, Deep Learning, Video understanding

MARTIN KREJCA, PROFESSEUR ASSISTANT
Mots-clés : Theory of random processes, Black-box optimization, Randomized search heuristics, Stochastic infection processes

AMBROISE LAFONT, PROFESSEUR ASSISTANT

JOHANNES LUTZEYER, PROFESSEUR ASSISTANT
Mots-clés : Graph Neural Networks; Graph Representation Learning; Graph Shift Operators; Machine and Deep Learning

FRANÇOIS MORAIN, PROFESSEUR DE CLASSE EXCEPTIONNELLE
Mots-clés : cryptologie, théorie algorithmique des nombres, calcul formel

SERGIO MOVER, PROFESSEUR
Mots-clés : Formal Methods, Model Checking, Program Verification, Hybrid Systems, Satisfiability Modulo Theory

MAKS OVSJANIKOV, PROFESSEUR
Mots-clés : 3D Computer Vision, Deep Learning, Geometry Processing, Shape Analysis.

GLEB POGUDIN, PROFESSEUR
Mots-clés : symbolic computation, nonlinear algebra, dynamical models

SYLVIE PUTOT, PROFESSEURE
Mots-clés : Vérification, Systèmes cyber-physiques, Sûreté de l'IA

JESSE READ, PROFESSEUR
Mots-clés : machine learning, data science, artificial intelligence

DAMIEN ROHMER PROFESSEUR
Mots-clés : Computer Graphics, 3D Modeling, 3D Animation, Real-Time, User Interaction

SONIA VANIER, PROFESSEURE

MICHALIS VAZIRGIANNIS, PROFESSEUR DE CLASSE EXCEPTIONNELLE
Mots-clés : Graph mining, deep learning, graph machine learning, Graph Neural Networks, Text mining, NLP, pretrained models

BENJAMIN WERNER, PROFESSEUR DE CLASSE EXCEPTIONNELLE
Mots-clés : Formalization Formal Proof , type theory

SEBASTIAN WILL, PROFESSEUR
Mots-clés : Algorithms for molecular biology. Bioinformatics of RNA structure: prediction, comparison, interaction, design, and dynamics. Integration of high-throughput data

NOAM ZEILBERGER, PROFESSEUR
Mots-clés : Programming languages, Logic, Category theory, Combinatorics

HANG ZHOU, PROFESSEURE
Mots-clés : Algorithms, Optimization, Graphs
Membres du corps enseignant non résidents

MARIE ALBENQUE, CHARGÉE D’ENSEIGNEMENT

NATHALIE AUBRUN, CHARGÉE D’ENSEIGNEMENT
Mots-clés : computability theory, symbolic dynamics, tilings

DANIEL AUGOT, PROFESSEUR CHARGÉ DE COURS
Mots-clés : cryptography, coding theory, blockchains

OANA BALALAU, PROFESSEUR CHARGÉ DE COURS
Mots-clés : Natural language processing, Graph learning, Computational social science, Large scale data mining

MATIAS BENDER, CHARGÉ D'ENSEIGNEMENT

SIMON BLIUDZE, CHARGÉ D’ENSEIGNEMENT
Mots-clés : Concurrency, formal semantics, component-based systems, correctness by construction , Enseignement : Java, C++, algorithms, data structures

NICOLAS BONNEEL, CHARGÉ D’ENSEIGNEMENT

TAMY BOUBEKER, PROFESSEUR CHARGÉ DE COURS
Mots-clés : 3D Computer Graphics, Modeling, Rendering, Machine Learning

TIMOTHY BOURKE, PROFESSEUR CHARGÉ DE COURS
Mots-clés : Embedded Systems, programming Languages, interactive theorem proving, formal methods

MATHIEU BREDIF, CHARGÉ D’ENSEIGNEMENT
Mots-clés : Computer Vision, Computer Graphics, Geographic Information Science

DAVIDE BUSCALDI, CHARGÉ D’ENSEIGNEMENT
Mots-clés : Natural Language Processing, Machine Learning, Information Extraction, Knowledge Graphs, Information Retrieval

PATRICK CARRIBAULT, PROFESSEUR CHARGÉ DE COURS
Mots-clés : Calcul Haute Performance, Programmation Parallèle, Architectures de Calcul.

GUILLAUME CHAPUY, PROFESSEUR CHARGÉ DE COURS

MARCEAU COUPECHOUX, PROFESSEUR CHARGÉ DE COURS
Mots-clés : wireless networks, cellular networks, optimization, performance evaluation, algorithm design

CLAUDIA D’AMBROSIO, PROFESSEURE CHARGÉE DE COURS
Mots-clés : mathematical optimization; mixed integer (non)linear programming; application in energy systems; transportation

THOMAS DEBRIS ALAZARD, CHARGÉ D’ENSEIGNEMENT
Mots-clés : Cryptography / Code-based Cryptography / Information Theory / Quantum Computation

MATHIEU DESBRUN, PROFESSEUR
Mots-clés : Graphics, discrete differential geometry, geometric mechanics, discrete exterior calculus

ADRIEN EHRHARDT, PROFESSEUR CHARGÉ DE COURS
Mots-clés : Statistical Learning, Finance, Natural Language Processing

FRANÇOIS FAGES, PROFESSEUR CHARGÉ DE COURS
Mots-clés : computational systems biology, analog computing, chemical reaction networks, constraint logic programming

JEAN-CHRISTOPHE FILLIATRE, PROFESSEUR
Mots-clés : deductive verification, Why3, logic and mechanized reasoning, programming languages

MARC GLISSE, CHARGÉ D’ENSEIGNEMENT
Mots-clés : computational geometry, computational topology

MALIKA IZABACHENE, CHARGÉE D’ENSEIGNEMENT

ROMAIN KERVAC, PROFESSEUR CHARGÉ DE COURS

PIERRE LAIREZ, CHARGÉ D’ENSEIGNEMENT
Mots-clés : experimental mathematics, computer algebra

ANTOINE LAVIGNOTTE, CHARGÉ D’ENSEIGNEMENT
Mots-clés : Optical networks, Network Security, Machine Learning for Networks

LEO LIBERTI, PROFESSEUR CHARGÉ DE COURS
Mots-clés : mathematical programming, distance geometry

PATRICK LOISEAU, PROFESSEUR CHARGÉ DE COURS
Mots-clés : Game theory, machine learning, fairness and privacy

JEAN-MARIE MADIOT, CHARGÉ D’ENSEIGNEMENT
Mots-clés : Formal methods, concurrency theory, separation logic, proof assistants

IOANA MANOLESCU GOUJOT, PROFESSEUR CHARGÉ DE COURS
Mots-clés : bases de données (databases management systems), intelligence artificielle (artificial intelligence), Big Data, Data Science, internships

SIMON MAURAS, CHARGÉ D’ENSEIGNEMENT

DAMIANO MAZZA, PROFESSEUR CHARGÉ DE COURS
Mots-clés : Logic, Programing Languages, Complexity, Algorithms

POORAN MEMARI, PROFESSEURE CHARGÉE DE COURS
Mots-clés : Computational Geometry: Shape Reconstruction, Surface Sampling, Mesh Optimization, Geometry Processing, Geometric Algorithms, Applications in Computer Graphics

MARC MEZZAROBA, PROFESSEUR CHARGÉ DE COURS
Mots-clés : Computer Algebra, Symbolic-Numeric Algorithms, Computer Arithmetic

MICHEL ELIE, CHARGÉ D'ENSEIGNEMENT

MOHANTY MADHULIKA, CHARGÉE D'ENSEIGNEMENT

STEVE OUDOT, PROFESSEUR CHARGÉ DE COURS
Mots-clés : applied and computational topology, topological data analysis

OUEDRAOGO WENDLASIDA, CHARGÉ D'ENSEIGNEMENT

EMMANUEL PIETRIGA, PROFESSEUR CHARGÉ DE COURS

AMAURY POULY, PROFESSEUR CHARGÉ DE COURS

VIRGILE PREVOSTO, CHARGÉ D’ENSEIGNEMENT

GWENAEL RENAULT, PROFESSEUR CHARGÉ DE COURS
Mots-clés : Cybersécurité, cryptologie, sécurité matérielle

JEAN-LOUIS ROUGIER, PROFESSEUR CHARGÉ DE COURS

OLIVIER SERRE, PROFESSEUR CHARGÉ DE COURS

SHANG GUOKAN, CHARGÉ D'ENSEIGNEMENT

JULIEN SIGNOLES, CHARGÉ D’ENSEIGNEMENT
Mots-clés : Vérification à l'exécution, méthodes formelles appliquées à la sûreté et la sécurité des logiciels

BENJAMIN SMITH, PROFESSEUR CHARGÉ DE COURS
Mots-clés : cryptography; post-quantum cryptography; cryptographic algorithms and implementations; algorithmic number theory

SOUZA BANEGAS GUSTAVO, CHARGÉ D'ENSEIGNEMENT

PIERRE-YVES STRUB, CHARGÉ D’ENSEIGNEMENT

THOMAS GAEL, PROFESSEUR CHARGÉ DE COURS

JULIEN TIERNY, PROFESSEUR CHARGÉ DE COURS

TSIGARIDAS ELIAS, CHARGÉ D’ENSEIGNEMENT
Mots-clés : computational algebra, computational geometry

PASCAL VANIER, PROFESSEUR CHARGÉ DE COURS

JILL JÊNN VIE, CHARGÉ D'ENSEIGNEMENT
