Find Academic Supervisors

Sylvain Lombardy is a Professor at the University of Bordeaux, affiliated with the Laboratoire Bordelais de Recherche en Informatique (LaBRI) and the Enseirb-Matmeca engineering school within the Institut Polytechnique de Bordeaux. His research focuses on automata theory, formal languages, and theoretical computer science, particularly in weighted automata, formal methods, and algebraic properties of automata. He leads the Formal Methods research team at LaBRI and contributes to projects like the Awali and Vaucanson software platforms for automata manipulation. Education: PhD in Computer Science (2001, ENST Paris), Habilitation à Diriger des Recherches (2005, University of Paris Diderot). His work bridges theoretical foundations with practical tools, emphasizing algorithmic and algebraic aspects of automata. Notable contributions include studies on automata minimization, determinization, and the interplay between rational expressions and automata constructions. Research Interests: Automata Theory, Formal Power Series, Weighted Automata, Tropical Semirings, Algebraic Automata Theory, and Computational Models for Discrete Systems. His recent work explores two-way automata, Hadamard series, and applications in formal verification. Publications highlight contributions to the structure and properties of automata, with a focus on formal methods and algorithmic decidability. Key works address unambiguity, determinism, and the minimization of weighted automata across various semirings. Collaborations include projects on automata-based kernels for machine learning and XML formats for automata descriptions. He has developed influential software tools such as Awali (finite-state machine platform) and Vaucanson (automata manipulation framework), demonstrating practical applications of theoretical research. His work is supported by grants exploring automata in computational linguistics and discrete mathematics.

• Automata Theory
• Formal Languages
• Theoretical Computer Science
• +3 more

François Goulette is a Professor and Deputy Director of the Computer Science and Systems Engineering Unit (U2IS) at ENSTA Paris, part of Institut Polytechnique de Paris. His research focuses on 3D point cloud processing, LiDAR perception, and autonomous systems within the Robotics Center (CAOR). His primary research interests lie in 3D point cloud processing , LiDAR perception , and autonomous systems . His work spans fundamental algorithm development to practical applications in autonomous driving, cultural heritage digitization, and robotics. He has made significant contributions to domain generalization of LiDAR perception, semantic segmentation of 3D point clouds, and point cloud registration techniques. The analysis of his recent publications reveals a strong focus on domain generalization for LiDAR perception systems, with multiple papers addressing challenges in 3D semantic segmentation across different environments. His work combines multi-scale architectures , unsupervised learning , and dataset creation to advance the state-of-the-art in autonomous systems perception. The research spans both theoretical algorithm development and practical applications in urban environments. François Goulette leads research activities within the Robotics Center (CAOR) at ENSTA Paris. His team develops advanced techniques for 3D environment understanding, with applications in autonomous vehicles, cultural heritage preservation, and industrial robotics. The research combines computer vision, machine learning, and robotics to solve challenging problems in 3D perception and scene understanding.

• 3D Point Cloud Processing
• LiDAR Perception
• Autonomous Systems
• +7 more

Florian Brandner is an Associate Professor at Télécom Paris , Institut Polytechnique de Paris, and a member of the AuTonomous Critical Embedded Systems (ACES) team within the Information Processing and Communication Laboratory (LTCI) . His research focuses on compiler backend optimization for embedded processors , especially VLIW architectures , in the context of real-time systems . He specializes in worst-case execution time (WCET) optimization , code generation techniques, register allocation, and dynamic binary translation. His work addresses challenges in identifying code paths critical for WCET and ensuring predictable behavior in embedded environments. Academic Appointments: Associate Professor (HDR) at Télécom Paris (2025–present); previous roles at COMPSYS team, ENS Lyon; Microsoft Research; Technical University of Denmark. Research Grants: Involved in projects like Designing Formally Verified Predictable Architectures (CEA 2023–2026), Collaborative Action on Timing Interferences (ANR 2022–2026), and Time-Predictable Cache Management (CEA 2016–2019). Scientific Awards: Outstanding Paper at ECRTS'25, Best Paper at RTNS'22, RTNS'20, SoftCOM'17, and RTNS'15. Patents: Co-inventor of Time-Division Multiplexing Methods (US Patent US20210397488A1, French Patent FR3087982B1). Recent Publications highlight advancements in formal verification for memory controllers (Real-Time Systems 2023), causality modeling in timing anomalies (STTT 2022), and context-sensitive cache analysis (Real-Time Systems 2022). His work spans real-time systems theory, practical compiler design, and hardware-software co-verification.

• Real-Time Systems
• Embedded Systems
• Compiler Optimization
• +5 more

Alberto Santini is an Associate Professor of Operational Research and a Ramon y Cajal fellow at Universitat Pompeu Fabra in Barcelona, Spain. He is also an affiliate professor at the Barcelona Graduate School of Mathematics and the Data Science Centre at the Barcelona School of Economics. During 2025-2027, he coordinates the Transportation group of the Spanish O.R. Society. His research focuses on optimization methods applied to transportation, logistics, and sustainability, including scheduling, vehicle routing, and heuristic algorithms. He has contributed to solving complex problems like last-mile delivery integration with public transport, airline flight scheduling, and energy-efficient vertical farming. His work often employs advanced techniques like column generation and decomposition strategies. Notable contributions include decomposition strategies for vehicle routing heuristics and the application of metaheuristics such as Adaptive Large Neighbourhood Search (ALNS). He is the founder of EUROYoung and AIROYoung, youth branches within prominent operational research societies. His GitHub repositories, such as cvrp-decomposition , provide open-source implementations of his algorithms. Santini’s research addresses real-world challenges like epidemic resource allocation and sustainable logistics, reflecting his commitment to both theoretical and applied operational research. Awards: Ramon y Cajal Fellow Labs/Teams: Leads Transportation group (Spanish O.R. Society), Founded EUROYoung/AIROYoung.

• Operational Research
• Transportation Systems
• Logistics Optimization
• +5 more

Elena Panteley is a Research Director at the CNRS and a member of the Laboratoire des Signaux et Systèmes (L2S) at CentraleSupélec. She holds a PhD in Applied Mathematics from Saint Petersburg State University (1997) and has extensive experience in research, including roles at the Institute of Problems in Mechanical Engineering, Russian Academy of Sciences (1986–1998). She co-chairs the International Graduate School of Control at the European Embedded Control Institute (EECI-IGSC) and serves as a Book-reviews Editor for Automatica and Associate Editor for IEEE Control Systems Letters . Education: PhD in Applied Mathematics, Saint Petersburg State University, 1997 MSc/BSc in relevant fields (implied by career progression) Research Interests: Focuses on stability and control of nonlinear dynamical systems, networked systems, multi-agent systems, and their applications. Her work emphasizes robust control, consensus algorithms, synchronization, and distributed control strategies for autonomous systems. She explores theoretical frameworks like Lyapunov methods and adaptive control, with practical applications in robotics and communication networks. Publications: Over 100 peer-reviewed articles in top journals like IEEE Transactions on Automatic Control and Automatica . Recent trends include advancements in consensus algorithms for multi-agent systems, synchronization of nonlinear oscillators, and control under communication delays. Awards: No specific awards mentioned, but contributions to control theory and networked systems are widely recognized. Grants/Advising: Leads research on adaptive control, network synchronization, and robotics. Collaborates internationally and advises on projects involving autonomous vehicles and distributed systems. Labs/Teams: Active in L2S and affiliated with CNRS, contributing to teams like MODESTY, COMEDY, and SYCOMORE. Engaged in transverse research on energy, industry automation, and healthy systems.

• Nonlinear Control Systems
• Networked Systems
• Multi-Agent Systems
• +5 more

Joanna C. S. Santos is an Assistant Professor at the University of Notre Dame's Department of Computer Science and Engineering. She leads the Security and Software Engineering research lab (S²E) and focuses on Software Engineering, Security, and Program Analysis. Her work bridges empirical studies with practical tool development. PhD in Computing and Information Sciences (Rochester Institute of Technology) M.Sc. in Software Engineering (Rochester Institute of Technology) B.Sc. in Computer Engineering (Federal University of Sergipe) Her research spans Software Security (vulnerability detection, ReDoS), Code Generation (LLM evaluation, benchmarking), and Program Analysis (taint tracking, call graphs). Recent articles show a strong focus on LLM-generated code quality and quantum computing applications. Scientific Awards : 2023 - Distinguished Reviewer (ESEC/FSE) 2020 - Research Pitch Winner (JOBS @MICRO) 2017 - Best Paper (ICSA) 2014 - CAPES Scholarship 2013 - ERBASE 3rd Place She actively contributes to conference committees (OOPSLA, ICSE, SCAM) and collaborates across institutions. Her lab S²E drives research in secure software development and empirical cybersecurity validation.

• Software Engineering
• Software Security
• Program Analysis
• +4 more

Jamal Atif is a Professor at Paris-Dauphine University and holds multiple significant leadership positions including Project Manager for 'Data Science and Artificial Intelligence' at the Institute of Information Sciences and their Interactions (INS2I) of the CNRS, Deputy Scientific Director of 3IA PRAIRIE, Head of the MILES team/project at LAMSADE (UMR CNRS-Université Paris-Dauphine), Co-leader of the Transverse Artificial Intelligence Program at PSL University, and Director of the Dauphine Numérique program. Professor Atif's primary research focuses on the foundations of responsible artificial intelligence, with specific expertise in privacy preservation in machine learning, robustness of deep learning algorithms to malicious attacks, causality, and explainability. His work bridges theoretical foundations with practical applications in security and reliability of AI systems. He has developed innovative approaches to address adversarial vulnerabilities in machine learning models and has made significant contributions to privacy-preserving techniques in data analysis. His publication record demonstrates a consistent focus on robust and trustworthy AI systems, with recent work exploring differential privacy in clustering, adversarial robustness, and explainable AI. The research spans theoretical foundations in logic and knowledge representation to practical applications in finance, healthcare, and computer vision. His publications appear in top-tier venues including Machine Learning journal, Neural Information Processing Systems, and International Joint Conferences on Artificial Intelligence. Scientific Awards: Recipient of two awards from the North American Society of Radiology for his thesis work Professor Atif has co-supervised or is currently supervising around fifteen doctoral students, demonstrating his commitment to mentoring the next generation of AI researchers. His leadership extends to directing major institutional programs including Dauphine Numérique and the Transverse Artificial Intelligence Program at PSL University, where he shapes strategic research directions in AI. He leads the MILES team/project at LAMSADE, which focuses on foundational aspects of machine learning and artificial intelligence. The team's research spans theoretical aspects of learning algorithms to practical applications requiring robust and reliable AI systems, with particular emphasis on security and privacy considerations in modern machine learning deployments.

• Artificial Intelligence
• Responsible AI
• Privacy Preservation in Machine Learning
• +4 more

Andrea Simonetto is a Research Professor at the Applied Mathematics Unit (UMA) , ENSTA Paris, Institut Polytechnique de Paris. His work spans optimization, control theory, and learning algorithms for large-scale and streaming data , with applications in smart grids, intelligent transportation, personalized health, and quantum computing. Current research focuses on online algorithms for time-varying optimization , personalized optimization for cyber-physical systems , and variational quantum algorithms . Past contributions include theoretical and algorithmic advances in convex/non-convex optimization, distributed optimization (robotic networks, smart grids), and signal processing for sparse reconstructions and parallel computing in particle filtering. Key application domains include renewable energy integration , quantum state preparation , and human-in-the-loop control systems . His research is published in journals like ACM Transactions on Quantum Computing , IEEE Control Systems Letters , and Automatica .

• Optimization
• Control Theory
• Quantum Computing
• +5 more

Sihem Mesnager is a University Professor of Mathematics at the University of Paris VIII, affiliated with the Laboratory of Analysis, Geometry and Applications (LAGA) at Paris XIII (CNRS) and the AGC3 research group (Algebra, Geometry, Combinatorics) . She holds an adjunct professorship at Télécom Paris within the MIC2 Mathematics team of the Computer Science and Networks department (INFRES). Her work bridges pure mathematics and applied cryptography, focusing on Boolean functions, bent functions, and coding theory for secure communication and data protection. PhD in Mathematics, University of Pierre and Marie Curie (Paris VI), Sorbonne University (2002) Habilitation (HDR) in Mathematics, University of Paris VIII (2012) Research Interests Dr. Mesnager specializes in symmetric cryptography and coding theory , particularly their applications to secure digital communication, error correction, and post-quantum cryptographic protocols. Her algebraic approach employs finite fields, exponential sums, algebraic geometry, and finite geometry to analyze and construct cryptographic primitives like S-boxes, APN functions, and optimal linear codes. She also investigates algorithmic aspects of computer algebra in these domains. Scientific Awards George Boole International Prize (2020) PEDR Excellence Scientific Award (2019-2022) PEDR Excellence Scientific Award (2014-2017) Publications & Projects Her recent work includes constructing weightwise perfectly balanced Boolean functions for the FLIP cipher, optimizing Inner Product Masking schemes via coding theory, and developing post-quantum secure functional encryption using multivariate cryptography. She has contributed to Reed-Muller codes, BCH codes, and Gaussian sum-based linear codes with one-dimensional hulls, emphasizing their applications in side-channel attack resistance and quantum error correction.

• Symmetric Cryptography
• Coding Theory
• Finite Fields
• +10 more

Dr. Yves Le Traon is a Full Professor of Computer Science at the University of Luxembourg, where he serves as Vice-Director of the Interdisciplinary Centre for Security, Reliability and Trust (SnT). He leads the 25-member SerVal research group (SEcurity, Reasoning and VALidation), focusing on software testing, security, and data-intensive systems. Previously, he chaired the CSC Research Unit (2013-2016) and pioneered model-driven engineering at INRIA. PhD and engineering degree in Computer Science from Institut National Polytechnique, Grenoble (1997) Former Associate Professor at University of Rennes (1998-2004) His research spans three main areas: innovative software testing and repair , Android security through static analysis and machine learning , and robust machine learning system design . Collaborations include industry leaders like PayPal, CREOS, and Cebi in fintech, smartgrid, and industry 4.0 domains. Awarded IEEE Fellow (2022) and Facebook Testing & Verification Research Award (2019) , he chairs editorial boards for STVR, SoSym, and IEEE Transactions on Reliability. His team has produced 20+ PhD graduates including Li Li (Monash University), Donia El Kateb (European Investment Bank), and Alexandre Bartel (SnT Research Associate). Commercial impact includes co-founding Datathings for runtime AI decision systems.

• Machine learning systems
• Software testing
• Software security
• +8 more

Albert Bifet is a Professor of Artificial Intelligence and Director of the Te Ipu o te Mahara AI Institute at University of Waikato, while concurrently serving as Professor of Big Data at Télécom Paris, IP Paris. He co-chairs the NZ AI Researchers Association and leads major initiatives including the TAIAO Environmental Data Science project. His research team is Data, Intelligence and Graphs (DIG) at the Information Processing and Communication Laboratory (LTCI) within the Department of Computer Sciences and Networks. His research focuses on: Machine learning from high-speed data streams Real-time analytics for evolving data sources Adaptive mining algorithms (MOA framework) Environmental data science applications Big data pattern recognition and online learning He received the Best Paper Award at ACM FAccT 2023 for his contributions to fairness and transparency in AI systems. As co-leader of the open-source MOA (Massive Online Analysis) project, he develops tools for implementing and experimenting with stream mining algorithms. He maintains collaborations across industry and academia, including previous positions at Huawei's Noah's Ark Lab and Yahoo Labs.

• Machine Learning
• Data Stream Mining
• Big Data Analytics
• +4 more

Petr Kuznetsov is a Professor at Telecom Paris (Institut Polytechnique de Paris), affiliated with the Department of Computer Science and Networks (INFRES). He leads the Autonomous Critical Embedded Systems (ACES) research team at the Information Processing and Communication Laboratory (LTCI). His work bridges theoretical foundations and practical applications in distributed systems. Research Focus: Kuznetsov specializes in distributed algorithms, synchronization protocols, failure detection mechanisms, and the application of algebraic topology to distributed computing. His recent work explores Byzantine fault tolerance, blockchain consensus, and concurrency in networking infrastructures. Recent Publication Trends (2015-2025): His articles predominantly focus on scalability and resilience in distributed systems, with emerging themes in blockchain technologies, Byzantine fault tolerance, and concurrency optimization. Theoretical contributions include computability theorems and complexity bounds, while applied work targets payment systems and distributed ledgers. Awards & Honors: Best Paper Award at DISC 2019 for Scalable Byzantine Reliable Broadcast Best Student Paper Award at PODC 2018 for An Asynchronous Computability Theorem for Fair Adversaries Projects & Advising: He directs the TrustShare Innovation Chair (large-scale data synchronization) and DISCMAT (mathematical foundations of distributed computing). Actively seeks PhD candidates for projects on distributed algorithms and concurrency. Laboratory & Teams: Heads the ACES team at LTCI, focusing on critical embedded systems and fault-tolerant distributed architectures. Collaborates internationally through workshops like SPTDC.

• Distributed Systems
• Algorithms
• Synchronization
• +3 more

Rémi Flamary is a Professor in the Applied Mathematics department at École Polytechnique, France, and a member of the CMAP Laboratory. Previously, he held an Associate Professor position at Université Côte d'Azur in the Department of Electronics and Lagrange Laboratory. He completed his PhD at Rouen University under Alain Rakotomamonjy, focusing on statistical signal processing and optimization. His research interests span machine learning, optimal transport, domain adaptation, and their applications in biomedical engineering, energy, and remote sensing. He leads the development of the POT (Python Optimal Transport) library and contributes to projects like SKADA for domain adaptation. Education: PhD in Applied Mathematics, Rouen University (LITIS Laboratory) Research Focus: Flamary's work emphasizes leveraging optimal transport theory for machine learning tasks such as graph prediction, signal normalization, and cross-domain adaptation. His contributions include novel algorithms for unbalanced transport, semi-relaxed Gromov-Wasserstein distances, and end-to-end graph generation frameworks. He actively collaborates on applications in neuroscience, astronomy, and energy systems. Professional Activities: He has presented at NeurIPS and other top conferences, supervised PhD students like Cédric Vincent-Cuaz, and contributed to open-source software. His teaching includes courses on signal processing and machine learning at École Polytechnique.

• Machine Learning
• Optimal Transport
• Domain Adaptation
• +7 more

Ammar Mian is an Associate Professor at Université Savoie Mont Blanc, affiliated with the LISTIC lab and Polytech Annecy-Chambéry. He holds a PhD from CentraleSupélec (2016-2019) and conducted postdoctoral research at Aalto University (2019-2020). His research focuses on statistical signal processing, machine learning, and Riemannian geometry with applications in remote sensing and frugal computations. He leads the Qanat project, an experiment tracking tool for reproducible research. Research interests include covariance-based methods for SAR image analysis, robust detection algorithms for sonar and GPR systems, and optimization on Riemannian manifolds. His work emphasizes reproducibility in ML and efficient computational techniques for resource-constrained environments. Key contributions include real-time SAR time-series change detection, robust classification using second-order deep learning models, and novel methods for handling missing data in EEG signals. His recent articles (2023-2025) explore reproducibility frameworks, GPR-based object classification, and Riemannian geometry applications. No awards listed, but maintains active collaborations through LISTIC and industry partnerships. Advises students via internship programs (e.g., Federated ML energy cost analysis). Lab work involves developing open-source tools like Qanat for experiment management and reproducibility.

• Statistical Signal Processing
• Machine Learning
• Riemannian Geometry
• +4 more

Maryam Mehri Dehnavi is an Associate Professor in the Department of Computer Science at the University of Toronto and a Principal Research Scientist at NVIDIA. She holds the Canada Research Chair in Parallel and Distributed Computing and leads the ParaMathics research group. Research focuses on high-performance computing , machine learning , sparse matrix optimizations , and compiler design for heterogeneous systems. Her work develops domain-specific languages , scalable numerical libraries , and auto-vectorization techniques for cloud and GPU platforms. Recent publications address LLM compression , sparse code translation , GPU kernel synchronization , and control flow optimization . Scientific recognition: Ontario Early Researcher Award (2021), NSF CRII Grant, NSERC New Frontiers in Research Fund. Current students: Mushegh Shahinyan , Martin Phan , Maryam Haghifam , and others. Former advisees: Kazem Cheshmi (NJIT), Zachary Blanco (MIT Lincoln Lab), Yuanxi Li (Amazon).

• High-Performance Computing
• Cloud Computing
• Machine Learning
• +3 more