Find Academic Supervisors

Tom SchrijversView profile

Professor

• Programming Languages
• Functional Programming
• Type Systems
• +6 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.

Arthur CharguéraudView profile

Researcher

• Program Verification
• Separation Logic
• Interactive Theorem Proving
• +8 more

Arthur Charguéraud is a senior researcher (Directeur de Recherche) at Inria, based in Strasbourg within the Camus team, affiliated with the iCube laboratory at Université de Strasbourg. His research spans program verification, program optimization, and mechanized semantics of programming languages, with a strong focus on separation logic and interactive theorem proving using Coq. Affiliation: Inria, Camus team, iCube Laboratory, Université de Strasbourg Position: Senior Researcher (Directeur de Recherche) Research Focus: Formal verification, separation logic, source-to-source transformations, high-performance computing His research interests center on developing formal methods to ensure correctness and efficiency in software systems. He works extensively on separation logic to verify both time and space complexity of programs, especially in the presence of garbage collection. His work bridges theoretical foundations with practical tools, such as the CFML framework and the OptiTrust optimization framework, which enables trustworthy source-to-source transformations with formal guarantees. His publications reveal a consistent focus on interactive verification, formal semantics, and performance optimization. Key themes include granularity control in parallelism, mechanized semantics (e.g., for JavaScript), and verified compilation. He has made significant contributions to separation logic, including extensions for time and space credits, big-O reasoning, and higher-order representation predicates. Arthur Charguéraud has received notable recognition for his work, including: Distinguished Paper Award at CPP 2022 SIGPLAN Research Highlight at PPoPP 2019 He has advised several PhD students and postdoctoral researchers, including Guillaume Bertholon, Alexandre Moine, and Armaël Guéneau. He leads the ANR-funded OptiTrust project (2022–2027), which aims to build a framework for verified source-to-source optimizations. He has also been involved in other major projects such as ANR VOCAL, ANR AJACS, and ERC DeepSea. His work is supported by both national (ANR, Inria) and institutional (CEA, ENS) grants. He is actively involved in the programming languages research community, serving on the program committees of top conferences including POPL, ICFP, PLDI, CPP, and CoqPL, and has chaired several workshops. He is also engaged in education and outreach, co-authoring the book Separation Logic Foundations in the Software Foundations series and designing challenges for the Concours Castor Informatique to promote computer science among young students.

• Programming Languages
• Formal Verification
• Functional Programming
• +9 more

Li-yao Xia is a researcher at INRIA Saclay in France, with a focus on programming languages, formal verification, and functional programming. His research explores bidirectional programming, lazy evaluation, concurrency, and mechanized verification using tools like Coq and Haskell. His work spans conferences such as ICFP, POPL, and SPLASH, where he has authored and co-authored papers on topics including interaction trees, transactional objects, and demand semantics for cost analysis. He has also served on program committees for Haskell and HIW. For more details, visit his personal website: https://poisson.chat .

Meng WangView profile

Professor

• Programming Languages
• Functional Programming
• Bidirectional Programming
• +2 more

Dr. Meng Wang is a Professor at the School of Computer Science, University of Bristol, where he leads the Programming Languages Research Group. His career includes prior roles as a Lecturer at University of Kent and Assistant Professor at Chalmers University of Technology. Current Affiliation: University of Bristol Past Affiliation: University of Kent Past Affiliation: Chalmers University of Technology Research interests center on applying theoretical rigor to practical programming, with a focus on designing languages and tools for software development and testing. Key areas include: Bidirectional Programming Functional Programming Software Testing Type Systems Embedded Languages Publication trends show a strong emphasis on bidirectional programming, functional language design, and compiler techniques. His recent work explores large language model applications in code translation and formal verification of refinement types in object-oriented systems. Supervision and team leadership include mentoring 12 current PhD students and 1 Research Associate, while past mentees include notable researchers who have transitioned to industry and academic roles. He has organized workshops like VeTSS summer school and co-chaired PEPM 2024, demonstrating active community engagement.

Bruno C. d. S. OliveiraView profile

Associate Professor

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

Associate Professor Bruno C. d. S. Oliveira is affiliated with the Department of Computer Science at The University of Hong Kong, where he leads the HKU PL Group. His research focuses on programming languages , particularly type systems for modularity and the integration of object-oriented and functional paradigms . He has contributed extensively to conferences like POPL, ICFP, ECOOP, and OOPSLA. Key Research Areas : Programming Languages Type Systems Modularity Polymorphism Subtyping Dependent Types His recent work explores bidirectional typing , iso-recursive subtyping , and intersection/union type applications . He has advised numerous PhD and MPhil students, including Wenjia Ye, Baber Rehman, and Yaoda Zhou. Awards include the Distinguished Artifact Award (ECOOP 2021) , Best Paper Awards (Modularity 2016) , and Distinguished Paper Awards (POPL 2020, ICFP 2019) . His teaching includes Functional Programming (CSIS0258/COMP3258) and Principles of Programming Languages (CSIS0259/COMP3259) .

Jianwen MENGView profile

Assistant Professor

• Fault diagnosis
• Fault tolerant control
• Condition monitoring
• +5 more

Jianwen MENG serves as an Assistant Professor at ESTACA, where he has been an Enseignant-chercheur (Teacher-Researcher) since 2020. He is affiliated with ESTACA'Lab, the institution's research laboratory focused on embedded energy systems and transportation technologies. His academic foundation includes a PhD in Electrical Engineering from Université Paris-Saclay (2020), a Master's degree in Electronic Systems and Electrical Engineering from the University of Nantes (2017), and a Bachelor's degree in Electrical Engineering and Automation from Jimei University, China (2015). Dr. MENG specializes in fault diagnosis, fault tolerant control, and energy management systems for electric vehicles and embedded applications. His research integrates advanced control theory with machine learning to address critical challenges in battery and fuel cell technologies, particularly focusing on state estimation, degradation prediction, and real-time monitoring under operational stress. Analysis of his recent publications (2024-2025) reveals a strong interdisciplinary trajectory blending electrical engineering with artificial intelligence. Key trends include AI-enhanced battery state estimation under fast-charging conditions, reinforcement learning for energy management in hybrid vehicles, and novel fault diagnosis frameworks for electrochemical systems. His work consistently targets practical implementation in automotive applications while advancing theoretical control methodologies. He received the Best Paper Award at the IEEE Prognostics and System Health Management Conference (PHM-Paris) in 2019 for his contributions to lithium-ion battery monitoring. At ESTACA, Dr. MENG teaches multivariable systems, real-time control, rapid prototyping, and advanced simulation tools across multiple engineering program levels. His pedagogical approach emphasizes hands-on implementation of theoretical concepts in embedded systems. As a core member of ESTACA'Lab, he contributes to cutting-edge research in automotive electrification, particularly through projects involving battery management systems, fuel cell degradation modeling, and fault-tolerant control architectures for next-generation electric vehicles.

Gábor BergmannView profile

Researcher

• Model-Driven Engineering
• Incremental Computing
• Query Evaluation
• +5 more

Gábor Bergmann is a researcher at Budapest University of Technology and Economics, Hungary, and a member of the MTA-BME Lendület Research Group on Cyber-Physical Systems. He actively contributes to the fields of model-driven engineering and incremental computing, with a focus on efficient query evaluation and program analysis. His research interests include: Model-Driven Engineering Incremental Computing Query Evaluation Program Analysis using Datalog Static and Whole-Program Analysis Cyber-Physical Systems The recent publications of Gábor Bergmann demonstrate a strong trend in incremental computation techniques applied to program and model analysis, particularly leveraging Datalog and lattice-based frameworks. His work focuses on optimizing performance and scalability of analyses through change-driven evaluation, with applications in model synchronization, inter-procedural analysis, and EMF-based systems. He has served on program committees, particularly in the Foundations Track of the MODELS conference series, indicating active engagement in the academic community. While no formal advising or grant information is available from the provided text, his involvement in a Lendület research group suggests participation in funded research projects. He has not received any explicitly mentioned scientific awards in the provided data.

Jonathan ProtzenkoView profile

Researcher

• Type Systems
• Programming Languages
• Software Verification
• +10 more

Jonathan Protzenko is a Principal Researcher at Microsoft Azure Research , focusing on advancing the theory and practice of software verification through formal methods and type systems. His work bridges critical security gaps in modern programming languages, with verified code integrated into major software like BoringSSL, Linux kernel, Python, and Firefox. PhD in Computer Science from INRIA Paris (2014) Formerly at Microsoft Research (9 years) and INRIA's Gallium team (2010–2014) His research spans verified cryptography (EverCrypt, HACL*), Rust verification (Aeneas, Eurydice), and computational law (Catala). Recent projects include: Rust verification (2022–present): Aeneas and Eurydice toolchains for bidirectional Rust-C compilation Verified protocol stacks (2019–present): Noise*, MLS*, and Signal* implementations Formal computational law (2020–2022): Catala for formalizing legal texts Open-source impact (2009–present): Maintaining Thunderbird add-ons His 15 most recent publications (2025–2021) highlight trends in Rust verification , secure messaging protocols , and formal methods for legal frameworks . Scientific accolades include the Internet Defense Prize and SIGPLAN Research Highlight . Notable advisees include Théophile Wallez and Denis Merigoux , who won the Gilles Kahn PhD Award . His work involves collaborations with startups like Cryspen and formal verification toolchains like KreMLin .

Hans Rocha IJzermanView profile

Associate Professor

• Social thermoregulation
• Attachment theory
• Grounded cognition
• +2 more

Hans Rocha IJzerman is an Associate Professor at Grenoble Alpes University, France, specializing in social psychology and cognitive science. He maintains dual affiliations with the university's Social Cognition research axis and the Annecy Behavioral Science Lab (ABSL), where he currently conducts primary laboratory operations. His research program integrates: Social thermoregulation: examining bidirectional links between physical temperature perception and social bonding Attachment theory: exploring neurobiological underpinnings of interpersonal relationships Grounded cognition: investigating how bodily states shape social perception and decision-making Open science methodology: pioneering transparent research practices and replication initiatives Dr. IJzerman champions research transparency through extensive data sharing on the Open Science Framework (OSF) and preprint dissemination via PsyArxiv. His work bridges experimental psychology with real-world applications in emotional regulation and social connection mechanisms. He actively participates in academic knowledge exchange through Interlaboratory Meetings and specialized seminars, contributing to methodological advancements in psychological science.

• Skills Management
• Management Tools
• Artificial Intelligence
• +3 more

Ewan Oiry is a University Professor of HR Management at iaelyon School of Management , part of Jean Moulin University Lyon 3. He serves as Head of the Executive Master's in Management and Business Administration program. His teaching areas include Human Resources, Skills Management, Strategy, Organizational Theory, Sociology of Work, and Qualitative Research Methods in both French and English. Research focuses on multi-level skills management (individual, collective, strategic, inter-organizational) Analyzes the role of management tools in organizational development Current research explores bidirectional impacts between Artificial Intelligence and organizational skills He directs research at the Human Resources Research Group and co-facilitates the AGRH Thematic Research Group 'Skills Management - Didier Retour.'

Anne DruilheView profile

Researcher

• Pharmacology
• Microbiomics
• Immunology
• +3 more

Anne Druilhe is a researcher at Inserm U1248 Laboratory (P&T Laboratory) affiliated with the University of Limoges' Faculty of Medicine and Pharmacy. Her work focuses on pharmacomicrobiomics , investigating bidirectional interactions between immunosuppressive drugs and gut microbiota in transplant patients, alongside digestive immunology mechanisms involving immunoglobulin A. Teaching : Coordinates animal research ethics training programs across multiple French institutions Leadership : Served as Director of Research Animal Facility (2017-2021) Her research combines experimental human sample analysis with rodent models to elucidate drug-microbiota interactions. Scientific activities include ethics committee service in Nouvelle-Aquitaine and leading Inserm's AnimalPharm project for standardized animal research protocols. Key scientific contributions appear in journals like Nature Communications , PLoS Genetics , and Blood , with recent work (2024) addressing microbiota modulation of transplant outcomes .

Steve ZdancewicView profile

Professor

• Programming Languages
• Type Theory
• Logic
• +11 more

Steve Zdancewic is the Schlein Family President's Distinguished Professor and Associate Chair in the Department of Computer and Information Science at the University of Pennsylvania, School of Engineering and Applied Science. He is a leading researcher in programming languages, type theory, logic, and computer security, with extensive contributions to formal verification, program synthesis, and language-based security. Affiliation: University of Pennsylvania, Department of Computer and Information Science Role: Schlein Family President's Distinguished Professor, Associate Chair Research Group: PL Club (with Benjamin Pierce and Stephanie Weirich) His research focuses on foundational and applied aspects of programming languages, including formal verification of compilers and systems, type-driven program synthesis, information-flow security, quantum programming, and mechanized metatheory. He develops tools and frameworks such as Vellvm (verified LLVM semantics in Coq), Interaction Trees (for modeling impure computations), and QWIRE (for quantum program verification). The recent publications highlight a strong trend toward formal verification, semantics engineering, and program synthesis, particularly using interactive theorem provers like Coq. His work spans functional programming, type systems, concurrency, security, and compiler correctness, with a consistent emphasis on mechanized proofs and practical verification tools. Distinguished Paper Award, ECOOP 2023 Schlein Family President's Distinguished Professor (2021) Distinguished Paper Award, POPL 2020 Christian R. and Mary F. Lindback Foundation Award for Distinguished Teaching (2018) IEEE MICRO Top Picks (2013) Alfred P. Sloan Fellow (2009–2010) NSF CAREER Award (2004) Best Paper at SOSP (2001) Intel Foundation Graduate Fellowship (2001) Best Paper at ICFP (1999) NSF Graduate Fellowship (1996) Zdancewic actively mentors graduate students and postdocs, many of whom have become faculty or researchers in industry. He has led significant research initiatives including the NSF Expedition on Deep Specification and the Vellvm project. He is currently General Chair for POPL 2025 and has served on numerous program committees for top-tier programming language conferences. He leads the Security-Oriented Languages (SOL) group and is deeply involved in the PL Club at Penn, fostering collaborative research in programming languages. His current projects include verified compiler infrastructure, quantum programming semantics, and expressive security policies.

Nathalie AndréView profile

Lecturer

• Exercise psychology
• Physical activity adherence
• Mental fatigue
• +6 more

Nathalie André is a Lecturer with Habilitation à Diriger des Recherches (HDR) at CeRCA/MSHS, affiliated with the University of Poitiers. Her research bridges exercise psychology, cognitive science, and mental health, with particular focus on the bidirectional relationship between physical activity and cognitive function, mental fatigue mechanisms, and strategies for improving exercise adherence across diverse populations. Her primary research interests include: Exercise psychology and physical activity adherence mechanisms Mental fatigue and cognitive performance dynamics Self-control and willpower frameworks Behavior change models in health contexts Chronic exhaustion and mental health connections Cognition-exercise relationship in aging populations Dr. André's recent publications reveal a sophisticated research program examining mental fatigue from multiple angles—its impact on athletic performance, physiological markers, resistance mechanisms in trained individuals, and interventions like brain endurance training. Her work extends to clinical applications, including exercise interventions for cancer cachexia and understanding the psychological dimensions of chronic fatigue. She frequently collaborates with prominent researchers including Michel Audiffren and Roy Baumeister, producing interdisciplinary work that connects psychological theory with practical applications in sports, rehabilitation, and clinical settings. Her scientific contributions demonstrate: Pioneering research on mental fatigue's psychophysiological markers Development of brain endurance training protocols Critical examinations of ego depletion theory Behavioral interventions for exercise adherence in vulnerable populations Integration of meaning-centered approaches in mental health Rigorous methodological contributions to psychometrics Dr. André has established productive research lines on barriers to physical activity in older adults and cancer survivors, cognitive strategies for maintaining exercise routines, and the moderating effects of genetic factors on exercise-cognition relationships. Her methodological expertise spans psychometric validation, behavioral intervention design, and psychophysiological measurement techniques, making significant contributions to both theoretical frameworks and practical applications in exercise psychology.

Kathleen FisherView profile

Professor

• Programming Languages
• Domain-Specific Languages
• Ad Hoc Data Management
• +4 more

Kathleen Fisher is a Professor in the Computer Science Department at Tufts University. Previously, she held positions as a Principal Member of the Technical Staff at AT&T Labs Research, a Consulting Faculty Member at Stanford University, and a program manager at DARPA where she started and managed the HACMS and PPAML programs. Professor Fisher's research focuses on advancing programming language theory and practice, with particular emphasis on domain-specific languages for managing ad hoc data. Her main contributions include the Hancock system for efficiently building signatures from massive transaction streams and the PADS system for managing ad hoc data. Recently, she has been exploring synergies between machine learning and programming languages, and applying programming language advances to build more secure systems. The Fisher Lab specifically focuses on using programming language techniques such as domain-specific languages, program synthesis, and formal methods to make it easier, safer, and faster to ingest untrusted or ill-formed data. Analysis of her recent publications reveals a consistent focus on formal verification, parser technology, bidirectional transformations, and domain-specific language design. Her work spans theoretical foundations while maintaining practical applications in data management and security. A notable trend in her research is the application of programming language techniques to solve real-world data challenges, particularly in handling unstructured or ill-formed data. Her scientific recognition includes: ACM Fellow Professor Fisher has held significant leadership roles in the programming languages community, including serving as program chair for FOOL, ICFP, CUFP, and OOPSLA, and as General Chair for ICFP 2015. She was past Chair of the ACM Special Interest Group in Programming Languages (SIGPLAN), past Co-Chair of CRA's Committee on the Status of Women (CRA-W), and has served as an editor for the Journal of Functional Programming and as an Associate Editor for TOPLAS. She has also been active in mentoring through PLMW (Programming Languages Mentoring Workshop), focusing on topics like work/life balance, career options, and time management. Her laboratory work centers on creating tools and techniques that bridge the gap between theoretical programming language research and practical data management challenges, with particular emphasis on making data ingestion safer and more efficient.

David WalkerView profile

Professor

• Programming Languages
• Networking
• Type Systems
• +1 more

David Walker is a Professor at Princeton University in the Department of Computer Science . His research spans multiple areas including Programming Languages , Networking , Type Systems , and Semantics . His recent work focuses on Network Verification , Logic Programming , and Type-Theoretic Synthesis . He has contributed to conferences such as PLDI , POPL , SPLASH , and ICFP , with research trends emphasizing Formal Methods , Distributed Systems , and Language Design . Scientific Contributions: 2024 PLDI: Modular Control Plane Verification via Temporal Invariants 2023 SPLASH: SwitchLog and Saggitarius DSL 2022 PLDI: Safe Packet Pipeline Programming 2021 SPLASH: Data-Driven Invariant Inference 2020 POPL: Abstract Network Control Plane Interpretation