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