Find Academic Supervisors

Raphaël Beuzart-Plessis is a CNRS Research Fellow affiliated with Aix-Marseille University and the Institute of Mathematics of Marseille (I2M) at Luminy Campus. He specializes in advanced areas of mathematics, including harmonic analysis, automorphic forms, representation theory, and number theory, with a focus on unitary groups and conjectures like Gan-Gross-Prasad. His work bridges algebraic geometry, differential geometry, and operator theory. Arithmetic, Geometry, Logic and Representations Group (AGLR) 2022-2027 ERC RELANTRA grant recipient Research interests span automorphic representations, L-functions, periods of automorphic forms, and harmonic analysis on real spherical spaces. He works extensively on the local and global Gan-Gross-Prasad conjectures, endoscopy, and supercuspidal representations. His recent publications analyze Plancher1el formulas, spherical characters, and congruences of automorphic forms. His 15 most recent publications (2014-2022) address topics such as the Gan-Gross-Prasad conjecture, Jacquet-Rallis's fundamental lemma, and the Asai Rankin-Selberg integrals. These works reflect his expertise in automorphic forms, representation theory, and number theory, often involving collaborations with leading mathematicians. 2016-2017 Peccot Prize for young mathematicians under 30 2022-2027 ERC RELANTRA grant for research in automorphic forms and representation theory Beuzart-Plessis has no listed students or laboratory teams but participates in the AGLR-RGR (Reduction Group Representations) team and has been an invited speaker at the 2022 International Congress of Mathematicians. His career includes guest lectures at Collège de France, including four sessions on Period factorizations and Plancherel formulas in 2017.

• Harmonic analysis
• Differential geometry
• Algebraic number theory
• +5 more

Christophe VIGNAT is a Professor at CentraleSupélec, affiliated with the Laboratoire des Signaux et Systèmes (L2S). His research focuses on number theory, special functions, probability, and their applications in signal processing and control systems. He has held visiting professorships at École Polytechnique Fédérale de Lausanne (EPFL) and Tulane University. VIGNAT's work bridges pure mathematics and applied fields, with notable contributions to Bernoulli/Euler polynomials, multiple zeta values, and probabilistic methods in number theory. His recent publications explore topics like partition functions, theta functions, and Ramanujan-type identities. He has delivered talks at international conferences and collaborates widely with researchers in mathematics and physics. Research Interests: Number theory, special functions (Bessel, orthogonal polynomials), probability theory, signal processing, control systems, analytic combinatorics, and their interconnections. His work often employs symbolic computation and probabilistic approaches to uncover identities and structures in mathematical analysis. Publications Trends: Recent articles emphasize partition theory, zeta functions, and integrals related to classical polynomials. His collaborations highlight interdisciplinary efforts between pure mathematics and applied sciences. Over 150 refereed papers and conference contributions demonstrate his prolific output across diverse mathematical domains. Education: While specific academic history isn’t detailed, his roles and publications suggest advanced training in mathematics and engineering, typical for a full professor in systems and control.

• Mathematics
• Number Theory
• Probability Theory
• +4 more

Tom Schrijvers is a Professor at the Department of Computer Science in the Faculty of Engineering Science at KU Leuven, Belgium. He leads the Programming Languages Group within the Declarative Languages and Artificial Intelligence (DTAI) research group. His research focuses on programming languages, particularly functional and logic programming, with special emphasis on Haskell, type systems, and algebraic effects. His research interests include: Functional Programming, especially Haskell Type Systems and Type Theory Algebraic Effects and Handlers Logic Programming, particularly Prolog Constraint Programming Domain-Specific Languages Programming Language Theory Prof. Schrijvers' recent research has focused on effect systems, staged programming, and language composition. His work on algebraic effect handlers has been particularly influential, providing new insights into how effects can be modularly composed and handled in functional languages. He has also made significant contributions to the understanding of type classes and their implementation in Haskell. His publications demonstrate a consistent focus on practical applications of programming language theory, with work spanning from foundational type theory to applied domain-specific languages for areas like fluorescence microscopy. His research often bridges the gap between theoretical programming language concepts and practical implementation concerns. Prof. Schrijvers has supervised numerous PhD students to completion, including Pieter Wuille, Benoit Desouter, George Karachalias, Steven Keuchel, Amr Saleh, Alexander Vandenbroucke, and Ruben Pieters. He currently supervises PhD students Klara Mardirosian, César Santos, Gert-Jan Bottu, Koen Pauwels, Birthe van den Berg, and Roger Bosman. His research group has received funding from various sources including EU projects like GRACeFUL. The Programming Languages Group at KU Leuven, which he leads, focuses on functional (Haskell) and logic (Prolog, Datalog, CLP) programming languages, as well as general programming language theory. The group has been active in numerous research projects and collaborations across Europe.

• Programming Languages
• Functional Programming
• Type Systems
• +6 more

Conrad Watt is an Assistant Professor at Nanyang Technological University (NTU), Singapore , specializing in WebAssembly, formal verification, and concurrency. He previously served as a Research Fellow at Peterhouse, University of Cambridge, and earned his PhD under Peter Sewell. Co-chair of the W3C WebAssembly Community Group Active in WebAssembly standards development, including concurrency specifications Developed mechanizations in theorem provers like Isabelle/HOL Collaborator with industry (wasmtime engine) and academic teams on verification tools Research Focus: Formal verification of low-level languages, concurrency models, and security mechanisms for WebAssembly. His work bridges theoretical rigor with practical applications, including WasmRef-Isabelle and threads projects. Recent Trends: 2025 publications explore separation logic automation and concurrency experiments, while 2024-2023 work emphasizes specification toolchains (SpecTec), verified interpreters, and memory-safe execution techniques. Scientific Awards ACM Doctoral Dissertation Award Honorable Mention EAPLS Best Dissertation Award Advising: Supervises PhD students Qiyuan Xu and Antanas Kalkauskas. Collaborates with researchers like Philippa Gardner and Jean Pichon-Pharabod.

• WebAssembly
• Formal Verification
• Programming Languages
• +4 more

Gang (Gary) Tan is a Professor at the Pennsylvania State University's College of Engineering, specializing in computer security, formal methods, and programming languages. He co-directs the Institute for Networking and Security Research (INSR) and leads the Security of Software (SOS) Group, focusing on compiler, programming language, and formal method techniques to enhance computer security. Education: B.E. in Computer Science from Tsinghua University Ph.D. in Computer Science from Princeton University His research integrates formal verification with practical security applications, particularly emphasizing: Compiler-based security enforcement Side-channel mitigation in speculative execution Fairness analysis in machine learning systems Formal grammar approaches for software reliability Key article trends show: Security-focused formal methods (15% of publications) ML fairness verification (20% of recent work) Compiler-based security solutions (30% of output) Side-channel defense mechanisms (25% of research) Parser design and formal grammar synthesis (10% of contributions) Scientific achievements include: NSF CAREER Award Google Research Awards (2x) PLDI 2024 Best Paper James F. Will Career Development Professorship Outstanding Research Award at Penn State Ruth and Joel Spira Excellence in Teaching Award Dr. Tan actively contributes to academic communities through: DARPA ISAT study group membership Program committee roles (CGO 2024, ECOOP 2018, etc) Leadership in security research initiatives

• Computer Security
• Formal Methods
• Programming Languages
• +2 more

Bernhard Rumpe is a Professor and Chair of Software Engineering at the Department of Computer Science 3, RWTH Aachen University, Germany. He leads a research group focused on model-based software engineering, domain-specific languages, and digital twins, with strong industrial collaborations and applications in embedded systems, AI, IoT, and autonomous vehicles. His research centers on improving software development through model-driven engineering, generative techniques, and formal modeling using UML, SysML, and the MontiCore language workbench. Key interests include digital twins, variability modeling, model composition, and the integration of cyber-physical systems with information systems. The recent publications highlight a consistent focus on model-driven digitalization, language workbenches, and system integration. Trends show increasing emphasis on digital twins in manufacturing and societal systems, formal verification of model transformations, and educational applications of model-driven low-code platforms. His work bridges theoretical foundations with industrial applicability. Keynote Speaker, OOPSLE 2025 General Chair, GPCE 2023 Session Chair, MODELS 2020 Program Committee Member, SLE, GPCE, ICSE, ECMFA He advises master’s and doctoral students and leads a vibrant research team that has successfully executed over 100 research projects. His group develops foundational tools like MontiCore and applies them in industrial contexts, contributing to software quality and developer efficiency. No formal grants are listed, but sustained project funding is evident. He is involved in several research labs and teams centered around the Software Engineering Chair at RWTH Aachen, focusing on language workbenches, model-driven development, and digital twin systems. The team actively contributes to open research through publications, tools, and industrial partnerships.

• Software Engineering
• Model-Based Software Engineering (MBSE)
• Domain-Specific Languages (DSLs)
• +16 more

Bryan Parno is a Professor at Carnegie Mellon University in the Departments of Electrical & Computer Engineering and Computer Science . He is the recipient of the Kavčić-Moura Chair and leads the Secure Foundations Lab , focusing on end-to-end secure systems through formal verification. Research spans secure systems , applied cryptography , distributed systems , and zero-knowledge proofs Developed Verus (verified Rust systems) and Project Everest (verified HTTPS stack) Key contributions include Ironclad , Flicker , and Pinocchio , with impacts on Intel CPUs and Windows/iOS security models His work emphasizes open-source tools and reproducibility , often published in top venues like POPL, PLDI, and IEEE S&P. Recent projects address WebAssembly security and formal verification of complex distributed systems . Major Awards Jay Lepreau Best Paper Award (OSDI 2025) IEEE Cybersecurity Award for Practice (2024) Sloan Research Fellowship (2018) Test-of-Time Awards (IEEE S&P 2023, IEEE S&P 2020) Best Paper Awards at USENIX Security, OOPSLA, and PLDI

• Secure Systems
• Formal Software Verification
• Verifiable Computation
• +7 more

Benoit Combemale is a Full Professor of Software Engineering at the University of Rennes , currently on leave as Research Director at Inria . He is affiliated with the DiverSE research team (joint between IRISA and Inria) and the SM@RT team at IRIT. He serves as Editor-in-Chief of the Springer-Nature journal Software and Systems Modeling (SoSyM) and holds leadership roles in academic conferences like ACM SIGPLAN Intl. Conference on Software Language Engineering and MODELS . Education : Habilitation (2015) and PhD (2008) in Software Engineering from University of Rennes and University of Toulouse, respectively. Research : Focuses on Model-Driven Engineering , Digital Twins , and ICT for Sustainability , with applications in cyber-physical systems, scientific computing, and industrial systems. Recent Publications highlight trends in digital twin modeling, energy-aware software engineering, polyglot programming, and formal verification for heterogeneous systems. His scientific awards include: Editor-in-Chief of SoSyM Steering Committee member of ACM SIGPLAN Intl. Conference on Software Language Engineering General Chair for ICT4S 2023 and MODELS 2016 PC Chair for MODELS 2024, ECMFA 2019, and SLE 2014 Coordinator of Dagstuhl Seminars and Bellairs workshops Advising includes 30+ students in topics ranging from digital twin engineering to software testing and language design. He leads the GEMOC Initiative and contributes to projects like SciHook and GEMOC Studio .

• Software Engineering
• Model-Driven Engineering
• Software Language Engineering
• +7 more

Loris D'Antoni is an Associate Professor in the Department of Computer Science and Engineering at the University of California at San Diego (UCSD) . He is also a Visiting Academic at Amazon Web Services (AWS) . His research focuses on helping people write trustworthy software through techniques in program synthesis, formal verification, and machine learning robustness. Bachelor and Master in Computer Science from University of Torino (2008, 2010) PhD in Computer Science from University of Pennsylvania (2015) His research integrates programming languages , automata theory , and formal methods to ensure software reliability. Recent work explores semantics-guided synthesis and specification-aligned LLMs , with applications in network security, machine learning fairness, and automated code repair. Key trends in his publications include program synthesis , formal verification , and trustworthy AI systems . He has contributed to tools like AutomataTutor and SemGuS , a framework for customizable synthesis problems using constrained Horn clauses. Phillip R. Certain-Gary D. Sandefur Distinguished Faculty Award NSF CAREER Award Microsoft Research Faculty Fellowship Google and Facebook Faculty Awards Best Paper Award at ICDCN 2023 Distinguished Paper Award at SBES 2021 D'Antoni actively contributes to academic community service as a committee member in PLDI , OOPSLA , POPL , and CAV . He leads the Programming Systems Group at UCSD and collaborates with SemGuS research team on synthesis frameworks.

• Programming Languages
• Software Verification
• Program Synthesis
• +4 more

Stéphane Doncieux is a University Professor in Computer Science at Sorbonne University, where he is affiliated with the Institute of Intelligent Systems and Robotics (ISIR), a joint research laboratory with CNRS. Since January 2024, he has served as Director of ISIR, following a term as Deputy Director from 2019 to 2023. He leads the ASIMOV research team and is based at the Pierre and Marie Curie Campus in Paris. His primary research interests lie in cognitive and developmental robotics, with a strong focus on open-ended learning, evolutionary algorithms, and adaptive systems. He investigates how robots can autonomously learn diverse skills through mechanisms such as novelty search, quality-diversity optimization, and intrinsic motivation. His work bridges theoretical foundations in artificial life and practical applications in robotic manipulation, perception, and control. The recent publications highlight a consistent trend in advancing robotic learning under sparse rewards and in open-ended environments. Key themes include quality-diversity optimization for grasping, state representation learning, sim-to-real transfer, and the development of behavioral repertoires. These works are published in high-impact journals such as IEEE Transactions on Robotics, Evolutionary Computation, and Frontiers in Robotics and AI. Coordinator, DREAM FET H2020 project (2015–2018) Principal Investigator, ANR projects on Creative Adaptation by Evolution, Learning Movement Skills, and Grasping with Multimodal Feedback Involved in European initiatives including VeriDREAM and HumanE-AI-Net He has supervised numerous PhD and Master’s students, including Leni Le Goff, Giuseppe Paolo, Alban Laflaquière, and Achkan Salehi, often in collaboration with leading researchers like Olivier Sigaud and Jean-Baptiste Mouret. He teaches computer science and robotics at both undergraduate and graduate levels at Sorbonne University. Doncieux has been instrumental in shaping research directions in evolutionary and developmental robotics, notably through his leadership in the IEEE Task Force on Evo-Devo-Robotics and his editorial contributions. His lab, ASIMOV, fosters interdisciplinary research integrating computer science, neuroscience, and engineering to create more autonomous and intelligent robotic systems.

• Cognitive Robotics
• Developmental Robotics
• Evolutionary Robotics
• +16 more

Olivier Sigaud is a Full Professor at Sorbonne University, affiliated with the ISIR (Intelligent Systems and Robotics Institute) and the Machine Learning and Intelligent Autonomous Systems (MLIA) team. He holds an engineering degree from ISEN and dual PhDs in Computer Science (University of Paris XI, 1996) and Philosophy (University of Paris I, 2004). Previously employed at Dassault Aviation (1995–2001), he transitioned to academia as a Lecturer and later a Professor at LIP6 and ISIR. His research focuses on reinforcement learning, robotics, computational neuroscience of decision-making in animals, and human-robot interaction. Key contributions include advances in goal-conditioned reinforcement learning, intrinsically motivated agents, and human-in-the-loop systems. He has co-authored over 100 publications in top-tier conferences (NeurIPS, ICML) and journals, with recent work exploring large language model grounding, open-ended learning frameworks, and motor skill acquisition through interactive curricula. Notable projects include the CURIOUS framework for modular multi-goal RL and the DREAM architecture for open-ended robotic learning. His work bridges theoretical AI with practical robotics applications, emphasizing interdisciplinary collaboration between computer science and neuroscience.

• Reinforcement Learning
• Robotics
• Decision Modeling
• +3 more

Aida Jebali is a Professor of Operations and Supply Chain Management at SKEMA Business School's Digitalization Academy. She holds a PhD and Habilitation (HDR) from Grenoble Institute of Technology and has held faculty positions at ESIEE Paris, University of Sharjah, Masdar Institute, and Prince Sultan University. Her research focuses on supply chain resilience, pandemic planning, healthcare operations, and maritime logistics. Education: 2023: HDR in Industrial Engineering, Université Grenoble Alpes 2004: PhD in Industrial Engineering, Grenoble INP 2000: Master of Science in Industrial Engineering, Grenoble INP 1999: National Engineer Diploma, Ecole Nationale d'Ingénieurs de Tunis Research Interests: Pandemic resilience in supply chains Maritime logistics and quay crane optimization Emergency medical service design Healthcare operations and operating room scheduling Environmental sustainability in supply chains Recent Contributions: Her work addresses critical challenges such as pandemic-induced disruptions, ambulance relocation systems, and carbon-efficient supply chains. Recent studies include optimizing production under pandemic conditions and resilience strategies for food supply chains. Awards: High Level Scientific Stay (French Ministry of Foreign Affairs, 2009 & 2007) PhD Scholarship Award (French Ministry of Foreign Affairs, 2000) PhD Supervision: Co-director: G. Pinto, H. NOUIRA, R. BOUJEMAA Jury Member: L. WANG Research Affiliations: Senior Editor of IMA Journal of Management Mathematics and active reviewer for top journals such as International Journal of Production Economics .

• Supply Chain Management
• Operations Research
• Maritime Logistics
• +4 more

Charbel Jose Chiappetta Jabbour is a Professeur Eminent and Head of the Systèmes d’Information, Supply Chain Management & aide à la Décision department at NEOMA Business School in France. He holds a Habilitation à diriger un doctorat from the University of São Paulo, Brazil. His research focuses on green and circular supply chains , Industry 4.0 , and sustainability integration in operations management. He has been included in Clarivate/Web of Science Highly Cited Researchers and received the British Academy of Management’s Best Paper Award (2019). Education & Career: Completed Habilitation at University of São Paulo (Brazil) International experience across Brazil, Japan, Scotland, England, and France Former Associate Editor of Journal of Cleaner Production Research Interests: His work bridges theory and practice in sustainable supply chain design, circular economy frameworks, and the human dimension of operations. He emphasizes integrating Industry 4.0 technologies with sustainability goals, and has pioneered studies on blockchain in supply chain digitalization. Grants & Projects: Principal Investigator/Co-Investigator on projects funded by Innovate UK, Midlands Engine UK, FAPESP Focus areas: Sustainable supply chain resilience, circular economy adoption Labs/Teams: Leads the Systèmes d’Information department and collaborates with global networks on sustainability initiatives.

• Green Supply Chain Management
• Circular Economy
• Sustainability in Operations Management
• +4 more

Paul-Eric DOSSOU is a Researcher at ICAM’s Grand Paris Sud campus, specializing in Societal and Technological Transitions of Companies. His work focuses on Industry 5.0, decision-aided systems, logistics optimization, and digital twin applications. He leads projects like Plateforme Life, Urban Logistics, and Healthcare 4.0, aiming to enhance SME efficiency through sustainable digital transformation. Expertise includes AI-driven supply chain management, cybersecurity for legacy systems, and robotic solutions for archaeology. He collaborates with industry partners to bridge theoretical research and practical applications, emphasizing human-centric automation and environmental sustainability. Contact: paul-eric.dossou@icam.fr | Mobile: +33 6 17 81 33 43 Research contributions span over 30 peer-reviewed articles since 2003, addressing topics from energy audits in the nautical industry to multi-agent systems in supply chain optimization.

• Industry 5.0
• Logistics and Supply Chain Optimization
• Digital Twin
• +4 more

Youness Lamzouri is a Professor of Mathematics at the Université de Lorraine, France, affiliated with the Institut Elie Cartan de Lorraine (IECL) and a Junior Member of the Institut Universitaire de France (IUF). His research focuses on analytic and probabilistic number theory, particularly character sums, L-functions, prime number distributions, and random multiplicative functions. PhD in Mathematics from Université de Montréal (2009) B.Sc. in Pure Mathematics from Université de Montréal (2004) He has contributed extensively to understanding extreme values in character sums, biases in prime number races, and statistical properties of L-functions. His recent work explores GCD graphs, random walks in number theory, and probabilistic models for prime distributions. He has received prestigious awards including the CMS Blair Spearman Doctoral Prize and NSERC Postdoctoral Fellowship. Currently, he supervises doctoral and master students and contributes to editorial boards of leading journals.

• Analytic Number Theory
• Probabilistic Number Theory
• Character Sums and Exponential Sums
• +7 more