جست‌وجوی استاد و پژوهشگر

Rupak Majumdarمشاهده پروفایل

پژوهشگر

• Formal Verification
• Computer-Aided Verification
• Reactive Systems
• +۱۰ مورد دیگر

Rupak Majumdar is a Scientific Director at the Max Planck Institute for Software Systems (MPI-SWS), with a distinguished career in formal verification, control systems, and programming languages. His research spans reactive, real-time, hybrid, and probabilistic systems, focusing on verification and synthesis problems in distributed and concurrent environments. Majumdar earned his B.Tech. in Computer Science from IIT Kanpur (where he received the President’s Gold Medal) and his Ph.D. from UC Berkeley (awarded the Leon O. Chua Award). His work has been recognized through prestigious honors including an NSF CAREER Award, Sloan Fellowship, ERC Synergy Grant, and Most Influential Paper Awards from PLDI and POPL. Research Areas: Formal Verification, Hybrid Systems, Stochastic Systems, Programming Languages, Automata Theory Leadership: Scientific Director, MPI-SWS; ISEC 2026 PC Chair His publications address critical problems in software verification, with recent work focusing on probabilistic systems, distributed protocol testing, and reinforcement learning for formal methods. Awards and grants reflect his impact on computer science and software engineering. Current students include Mahmoud Salamati, Ashwani Anand, V.R. Sathiyanarayana, and Mohammad Khoshechin, while graduated advisees hold positions at institutions like Amazon, Google, and academic research centers. Scientific Awards: President’s Gold Medal (IIT Kanpur) Leon O. Chua Award (UC Berkeley) NSF CAREER Award Sloan Foundation Fellowship ERC Synergy Award Distinguished Alumnus Award (IIT Kanpur) Most Influential Paper Awards (PLDI, POPL) Best Paper Awards (SIGBED, EAPLS, SIGDA)

Henrik Leopoldمشاهده پروفایل

استاد

• Business Process Management
• Process Mining
• Artificial Intelligence
• +۵ مورد دیگر

Professor Henrik Leopold is a Professor for Data Science and Business Intelligence and Head of Department of Operations and Technology at Kühne Logistics University (KLU) in Hamburg, Germany. He joined KLU in February 2019 and has held progressive academic positions there, advancing from Assistant Professor (2018-2020) to Associate Professor (2020-2023) and ultimately to full Professor (since 2023). Prior to KLU, he served as Assistant Professor at Vrije Universiteit Amsterdam (2015-2019) and Vienna University of Economics and Business (2014-2015). Henrik Leopold received his PhD (Dr. rer. pol.) in Information Systems from Humboldt University of Berlin in 2013, where he also completed his M.Sc. (2010) and B.Sc. (2008) in Information Systems. His doctoral work earned him the prestigious TARGION Dissertation Award 2014 for the best doctoral thesis in Information Management and recognition as runner-up for the McKinsey Business Technology Award 2013. Leopold's research primarily focuses on the intersection of information systems and business processes, with particular emphasis on leveraging artificial intelligence technologies—including machine learning and natural language processing—to develop innovative techniques for process analysis, mining, and automation. His work bridges theoretical advancements with practical applications across various industries, particularly in logistics and healthcare. He has published over 100 peer-reviewed articles in top-tier journals such as IEEE Transactions on Knowledge and Data Engineering, IEEE Transactions on Software Engineering, ACM Transactions on Management Information Systems, Decision Support Systems, and Information Systems. His recent research demonstrates a clear trajectory toward increasingly sophisticated applications of AI in business process management, with growing emphasis on semantic analysis, explainability, and the integration of large language models. This evolution reflects both technological advancements in AI and the growing complexity of business process challenges in the digital era. Among his notable achievements are the TARGION Dissertation Award 2014 and being named runner-up for the McKinsey Business Technology Award 2013. His research has secured significant funding and has been implemented in practical settings through collaborations with industry partners. As an academic leader, Leopold has supervised numerous PhD and Master's students, contributing to the next generation of researchers in business process management and data science. He actively participates in major research projects focused on automated process weakness identification and semantic process discovery from user interaction logs. His leadership extends to heading the Department of Operations and Technology at KLU, where he shapes academic programs and research directions. Leopold maintains an active presence in the academic community through his personal website (www.henrikleopold.com), Google Scholar profile, and DBLP page, making his research widely accessible to scholars and practitioners worldwide.

Eva Darulovaمشاهده پروفایل

دانشیار

• Programming Languages
• Software Verification
• Program Synthesis
• +۳ مورد دیگر

Eva Darulova is an Associate Professor at the Department of Information Technology, Uppsala University, and Adjunct Faculty at Max Planck Institute for Software Systems (MPI-SWS). Previously held tenure-track faculty at MPI-SWS and completed her PhD at École Polytechnique Fédérale de Lausanne (EPFL) under Viktor Kuncak. Current research: Applications in numerical/embedded domains, program synthesis, software verification, approximate computing Key projects: Blossom (fuzzing), Lassie (HOL4 tactics), Pine (floating-point loops), LTLTalk (robot instruction), Incarnate (3D printing), Icing (compiler semantics), Flipper (NLP interface), FloVer (error checking), Daisy (accuracy analysis), Rosa (real compiler) Teaching: Program Design (2021/22), Program Synthesis (2021), Program Analysis (multiple years), Advanced Program Analysis (2019), Static Program Analysis (2017), Approximate Computing seminar (2016) Service: Artifact evaluation chair (ASPLOS'22), PC member (ECOOP'22, ESEC/FSE'22, EMSOFT'21, PLDI'21) Research Trends: Focus on numerical computing verification, approximate computing frameworks, and program synthesis techniques. Publications span TACAS, EMSOFT, ISSTA, POPL, CAV, FMCAD, TOPLAS, with emphasis on floating-point error analysis, mixed-precision optimization, and compiler verification. Scientific Recognition: Nominated for EAPLS best paper award (TACAS'21). Co-advisor for Anastasiia Izycheva and mentor for multiple MSc/BSc students including Mustafa Hafidi, Joachim Bard, Nikita Zyuzin, Youcef Merah, Safya Alzayat, Anastasiia Izycheva. Collaborations: Works with researchers at EPFL, MPI-SWS, University of Saarland, University of Washington, and Saarbrücken/Kaiserslautern institutions.

Calvin Chauمشاهده پروفایل

پژوهشگر

• Algebraic Foundations
• Computational Logic
• Computer Science
• +۳ مورد دیگر

Calvin Chau is a researcher affiliated with the Faculty of Computer Science at Technische University Dresden , specializing in the International Center for Computational Logic (ICCL) . His work focuses on algebraic and logical foundations of computer science, with contributions to formal verification and neural network abstraction. His research interests include: Algebraic Foundations Computational Logic Formal Methods Artificial Intelligence Quantitative Verification Calvin has published in prestigious venues such as QEST+FORMATS and ATVA , addressing challenges in Markov decision processes and neural network verification. He is involved in the SEMECO-Q1 project, focusing on secure medical microsystems and communication architectures. His recent publications emphasize: Multi-objective optimization in probabilistic systems Abstraction-refinement techniques for neural networks Semantic vs. syntactic approaches to formal analysis Calvin can be reached via email at calvin.chau@tu-dresden.de or in person at APB 3004.

• Formal Methods
• Safety-Critical Systems
• Probabilistic Verification
• +۴ مورد دیگر

Sebastian Junges is an Assistant Professor in the Software Science Group at Radboud University, Nijmegen, since 2021. He holds a PhD in Computer Science from RWTH Aachen University (2020), and previously worked as a PostDoc at UC Berkeley (2020-2021) and a Research Assistant at RWTH Aachen (2015-2020). His research focuses on formal methods for analyzing safety-critical systems, particularly using extensions of Markov decision processes (MDPs) to ensure dependability in automated systems like network protocols, hardware architectures, and robotics. Education: PhD in Computer Science, RWTH Aachen University, 2020 M.Sc. in Computer Science, RWTH Aachen University, 2015 B.Sc. in Computer Science, RWTH Aachen University, 2012 His research interests include probabilistic verification, policy synthesis for MDPs, and the intersection of formal methods with artificial intelligence. He has contributed to tools like the Storm probabilistic model checker and led projects on scalable analysis of probabilistic models. His work addresses challenges like ensuring safe decision-making in autonomous systems and certifying compliance with safety standards through rigorous algorithmic approaches. Publications focus on advancing MDP analysis, POMDPs, and robust policy synthesis. Recent trends include integrating uncertainty management, decision-tree-based approaches, and compositional verification techniques. He actively contributes to conferences like CAV, AAAI, and TACAS, and serves on program committees and steering groups for formal methods and AI.

Etienne Lozesمشاهده پروفایل

پژوهشگر

• Computer Science
• Hybrid Systems
• Compiler Construction
• +۴ مورد دیگر

Etienne Lozes is affiliated with the Department of Computer Science II at RWTH Aachen University, part of the Faculty of Computer Science. His work involves research and teaching in areas such as hybrid systems, compiler construction, and model checking. Research interests include: Formal methods for software verification and model checking. Compiler design and construction. Dependable systems and safety-critical software analysis. Probabilistic programming and energy-efficient system design. He has been involved in academic projects like the European Space Agency's COMPASS initiative and has contributed to teaching activities, including the Compiler Construction course. The department also highlights collaborative research efforts in satellite design and analysis, though direct attribution to Lozes is not specified.

• Process Mining
• Computer Science
• Data Science
• +۵ مورد دیگر

Wil M. P. van der Aalst is a Professor at RWTH Aachen University's Chair of Process and Data Science, Germany. Formerly affiliated with Eindhoven University of Technology's Department of Mathematics and Computer Science, he is a leading expert in Process Mining, a field he has significantly advanced through foundational research and standardization efforts. His work bridges computer science, data science, and business process optimization. Research Interests: Dr. van der Aalst focuses on Process Mining , exploring topics like privacy-preserving analytics, object-centric event logs (OCEL), and integration of AI techniques (e.g., LLMs) into process discovery. He emphasizes practical applications in healthcare, manufacturing, and cybersecurity. Recent trends in his work include federated process mining, partial order-based analysis, and standardization of process data formats. Publications: Over 1,200 publications demonstrate his contributions to understanding process behavior, conformance checking, and workflow optimization. Notable directions include privacy-enhanced event log publishing, blockchain process analysis, and federated learning approaches for distributed systems. Awards: While specific awards are not listed, his extensive publication record and leadership in Process Mining communities (e.g., founder of the ICPM conference) highlight his global recognition. Advising & Grants: Collaborates widely with industry and academia on projects like the Medical Informatics Initiative and Smart Manufacturing standards. Leads the development of open-source tools like Rust4PM and the OCEL standard. Labs/Teams: Directs the Process and Data Science group at RWTH Aachen, fostering interdisciplinary research in process intelligence and AI-driven analytics.

Joël Ouaknineمشاهده پروفایل

استاد

• Algorithmic Verification
• Theoretical Computer Science
• Linear Dynamical Systems
• +۶ مورد دیگر

Joël Ouaknine is Scientific Director at the Max Planck Institute for Software Systems (MPI-SWS) located at the Saarland Informatics Campus in Saarbrücken, Germany. He leads the Foundations of Algorithmic Verification research group and serves as an Associate Editor for the Journal of the ACM (JACM) since 2023 and previously for the Journal of Computer and System Sciences (JCSS) from 2014-2023. His research focuses on the Foundations of Algorithmic Verification and Theoretical Computer Science, particularly on decision, control, and synthesis problems for discrete and continuous linear dynamical systems using tools from number theory, Diophantine geometry, and algebraic geometry. His work also encompasses automated verification of real-time, probabilistic, and infinite-state systems, logic applications to verification, automated software analysis, and concurrency. His research integrates deep mathematical techniques with computer science theory to solve fundamental verification problems. Analysis of his recent publications reveals a strong trend toward solving decision problems in linear dynamical systems, with increasing emphasis on connections to number theory and algebraic geometry. His work bridges theoretical computer science with pure mathematics, particularly in addressing the Skolem Problem and related questions about linear recurrence sequences. Recent publications show growing interest in monadic second-order logic extensions and their applications to dynamical systems. Distinguished Paper Award at LICS 2024 for work on monadic second-order logic with arithmetic predicates ACM SIGBED Best Paper Award in 2024 for research on linear dynamical systems with continuous weight functions LICS Test-of-Time Award Winner in 2025 for a seminal 2007 paper on Metric Temporal Logic Dr. Ouaknine currently supervises PhD students Piotr Bacik, Joris Nieuwveld, and Mihir Vahanwala, and mentors postdocs Quentin Guilmant, Toghrul Karimov, and Isa Vialard. His research is supported by significant funding including an ERC Synergy Grant (2025-2031) as Coordinating Principal Investigator for the DynAMiCs project, and DFG Collaborative Research Centre 248 (2022-2026) as Principal Investigator for the Foundations of Perspicuous Software Systems. His previous ERC Consolidator Grant (2015-2021) supported work on Analysis, Verification, and Synthesis of Infinite-State Systems. He actively contributes to the academic community through service on numerous program committees including ICALP, LICS, CONCUR, and serves as organizer for workshops like Dynaverse and Bellairs. His research group at MPI-SWS collaborates extensively with mathematicians and computer scientists worldwide, creating a vibrant interdisciplinary environment focused on solving fundamental problems at the intersection of computer science and mathematics.

Toghrul Karimovمشاهده پروفایل

پژوهشگر

• Theoretical Computer Science
• Formal Verification
• Dynamical Systems
• +۳ مورد دیگر

Toghrul Karimov is a postdoctoral researcher at the Max Planck Institute for Software Systems (MPI-SWS) in Saarbrücken, Germany, working on the ERC Synergy Grant “DynAMiCs” since April 1, 2025. He collaborates with Valérie Berthé on decision problems at the intersection of dynamical systems theory, logic, and number theory. His educational background includes: Bachelor’s and Master’s degrees from the University of Oxford (2019) Doctoral degree from Saarland University and MPI-SWS (2024) Dr. Karimov’s research focuses on the algorithmic analysis of linear dynamical systems, with emphasis on decidability, verification, and computational complexity. His work bridges theoretical computer science with mathematical logic and number theory, particularly investigating reachability problems, linear recurrence sequences, and the application of o-minimal structures to verification. He employs techniques from automata theory and model theory to solve long-standing problems in the field. His publication record demonstrates consistent contributions to top-tier venues including LICS, ICALP, and SODA, with a clear trajectory toward resolving fundamental questions in dynamical systems verification. Recent work shows increasing sophistication in handling parametric systems and probabilistic extensions, while maintaining strong connections to number-theoretic foundations. His scientific recognition includes: Distinguished Paper Award at LICS 2024 ACM SIGBED Best Paper Award at HSCC 2024 Currently supported by the ERC Synergy Grant “DynAMiCs”, Dr. Karimov maintains an active collaborative research program without current student supervision. His work involves frequent co-authorship with leading researchers across MPI-SWS and IRIF, reflecting the highly interdisciplinary nature of his investigations. He contributes to MPI-SWS’s theoretical computer science research cluster, focusing on the mathematical foundations of software systems verification through the lens of dynamical systems and logic.

Kaushik Mallikمشاهده پروفایل

استادیار

• Controller Synthesis
• Cyber-Physical Systems
• Combinatorial Games on Graphs
• +۴ مورد دیگر

Kaushik Mallik is an Assistant Professor at the IMDEA Software Institute in Madrid, Spain. His research focuses on formal methods for Cyber-Physical Systems (CPS), algorithmic fairness in AI, and combinatorial game theory. He holds a PhD from the Max Planck Institute for Software Systems (MPI-SWS) and has been recognized with the 2023 ETAPS Doctoral Dissertation Award. Education: B.Tech in Electrical Engineering, Meghnad Saha Institute of Technology, 2012 M.Tech in Systems and Control, IIT Roorkee, 2015 (with DAAD-funded research at TU Berlin) PhD in Computer Science, MPI-SWS, 2022 Research Interests: Verification & synthesis of CPS controllers Bidding games and algorithmic game theory Runtime fairness monitoring for AI systems Symbolic control for stochastic systems Awards: 2023 ETAPS Dissertation Award CONCUR 2024 Best Paper Nomination IIT Master-Sandwich-Programme DAAD Scholarship (2014) Current Projects: Developing fairness shields for AI decision-making systems Advancing bidding game theory for CPS control Runtime verification frameworks for dynamic fairness His work bridges formal methods with emerging AI challenges, focusing on verifiable safety and ethical algorithm design. Tools like Mascot-SDS and BOCoSy reflect his contributions to practical controller synthesis.

Satya Prakash Nayakمشاهده پروفایل

پژوهشگر

• Formal Methods
• Cyber-Physical Systems
• Distributed Systems
• +۳ مورد دیگر

Satya Prakash Nayak is a Researcher at the Max Planck Institute for Software Systems (MPI-SWS) in Kaiserslautern, Germany. His research focuses on formal methods, game theory, and their applications to cyber-physical systems, distributed systems, and security. He specializes in synthesis techniques for robust and permissive strategies in complex systems, combining algorithmic game theory with formal verification methods. His work bridges theoretical foundations with practical system design, addressing challenges in safety-critical systems, adaptive control, and contextual abstraction-based approaches. He has contributed to advancements in strategy templates, dynamic policy shielding, and localized attractor computations in infinite-state games, with applications to both deterministic and stochastic systems. Recent research trends in his publications emphasize the integration of formal methods with modern machine learning techniques, particularly in ensuring safety and fairness in learned policies. His work often involves collaboration across disciplines, aiming to create certifiable and robust interfaces for interacting systems. Dr. Nayak's research is supported by grants focusing on distributed logical control, secure equilibria synthesis, and context-triggered abstraction designs. He is affiliated with MPI-SWS's Cyber-Physical Systems and Distributed Systems groups, contributing to the institute's broader mission in advancing software systems research.

Barbara Königمشاهده پروفایل

استاد

• Automata Theory
• Formal Languages
• Software Security
• +۵ مورد دیگر

Barbara König is a Professor at the University of Duisburg-Essen, affiliated with the Department of General Computer Science within the Faculty of Computer Science. Her research focuses on theoretical computer science, with a strong emphasis on formal methods, graph transformation systems, coalgebraic semantics, and behavioral metrics. She leads a team of researchers including postdocs and PhD students like Rebecca Bernemann and Sebastian Gurke. Her work integrates mathematical rigor with practical applications in formal verification, probabilistic systems, and automated reasoning. König has organized and contributed to numerous international conferences such as CSL, CONCUR, and ICGT, highlighting her role in advancing the field’s research agenda. Key research themes include fixpoint theory, coalgebraic modal logics, and the development of tools like CoReS for graph analysis. Her current projects explore quantitative logics, behavioral distances, and abstraction-refinement techniques for complex systems analysis. König actively contributes to academic communities through editorial roles and serves as a mentor in the university’s theoretical computer science department. Her interdisciplinary approach bridges foundational theory with applied challenges in software engineering and system modeling.

• Industrial Automation Systems
• Distributed Control Systems
• IEC 61499 Standard
• +۶ مورد دیگر

Valeriy Vyatkin is a Professor at Aalto University's Department of Electrical Engineering and Automation within the School of Engineering. He also maintains an affiliation with Luleå University of Technology in Sweden. His research spans industrial automation, distributed control systems, and digital transformation of manufacturing processes. Vyatkin leads a significant research group focusing on next-generation industrial control architectures and has established himself as a leading authority in the IEC 61499 standard for distributed industrial automation systems. Professor Vyatkin's research interests center around industrial automation systems with particular emphasis on distributed control architectures, formal methods for verification of industrial control systems, and digital twin technologies. His work bridges theoretical computer science with practical industrial applications, developing methods for model checking, virtual commissioning, and formal verification of industrial automation systems. He has pioneered approaches for applying reinforcement learning to industrial process control, particularly in steel manufacturing and energy systems. His recent work explores the integration of generative AI with industrial control systems, focusing on rapid prototyping and code generation for IEC 61499 applications. The analysis of Professor Vyatkin's recent publications (2023-2025) reveals a strong research trajectory focused on advancing industrial automation through multiple complementary approaches. His work demonstrates a consistent emphasis on the IEC 61499 standard as a foundation for distributed control systems, with growing integration of AI techniques, particularly generative models and reinforcement learning. A notable trend is the progression from theoretical foundations toward practical implementation frameworks, with increasing attention to security, privacy, and human factors in industrial settings. His research group has expanded into new application domains including energy systems, horticulture, and nuclear instrumentation while maintaining core expertise in manufacturing automation. Professor Vyatkin has made significant contributions to the field through his editorial work, including serving as guest editor for special issues in IEEE Transactions on Industrial Informatics. His research has been supported by multiple grants from national and international funding agencies focusing on industrial digitalization and smart manufacturing initiatives. Professor Vyatkin actively supervises numerous PhD and Master's students, with a consistent research group of 8-10 students and postdoctoral researchers. His advising approach emphasizes both theoretical rigor and industrial relevance, with many students collaborating directly with industry partners. His research group has established collaborations with major industrial players in manufacturing, energy, and automation sectors across Europe. The research activities are centered around the Industrial Automation research group at Aalto University, which maintains strong connections with the international IEC 61499 community. The team operates a dedicated laboratory for industrial automation research with capabilities for virtual commissioning, digital twin development, and formal verification of control systems. The group participates in multiple European research projects focused on Industry 4.0 and 5.0 technologies, with particular emphasis on human-centric automation and secure industrial systems.

• Control Systems
• Discrete Event Systems
• Model Predictive Control
• +۴ مورد دیگر

Prof. Dr.-Ing. Jörg Raisch holds the chair of Control Systems at the Technical University of Berlin's Faculty of Electrical Engineering and Computer Science. He received his Dr.-Ing. in Chemical Engineering from Stuttgart University, followed by postdoctoral research at the University of Toronto and a DFG Fellowship for his habilitation in control theory (completed 1998). Previously led research groups at Max-Planck-Institut für Dynamik komplexer technischer Systeme (2002) and Otto-von-Guericke Universität Magdeburg. Research focuses on discrete event systems , model predictive control , and hybrid systems with applications in renewable energy, manufacturing, and networked systems. Key methodologies include max-plus algebra, optimization, and distributed control frameworks. Publication trends show strong emphasis on: Theoretical foundations of timed/discrete event systems Control applications in energy systems (wind farms, microgrids) Distributed algorithms for networked systems Algebraic methods in control Honors include DFG Fellowship and editorial roles for Automatica , IEEE TAC , and Discrete Event Dynamic Systems . Leadership positions: Chair of IFAC Technical Committee on Discrete Event Systems (2017-2020), German representative in European Control Association (2007-2013). Leads the Control Systems group investigating real-world applications including wind farm optimization, manufacturing scheduling, and networked control protocols. Current projects involve over-the-air federated learning, microgrid cooperation, and robust power tracking.

• Modeling and Verification of Reactive Systems
• Quantitative Analysis of Stochastic Systems
• Probabilistic Model Checking
• +۸ مورد دیگر

Christel Baier is a full Professor and head of the Chair for Algebraic and Logic Foundations of Computer Science at the Faculty of Computer Science, Technische Universität Dresden, a position she has held since 2006. She previously served as an associate professor for Theoretical Computer Science at the University of Bonn from 1999 to 2006. She is currently the dean of the Faculty of Computer Science at TU Dresden (2025–2027), having been vice-dean from 2019 to 2024. She holds a Diploma in Mathematics (1990), a Ph.D. in Computer Science (1994), and a Habilitation (1999), all from the University of Mannheim. In 2022, she was awarded an honorary doctorate from RWTH Aachen. Her research centers on formal methods in computer science, with a strong emphasis on modeling, specification, and verification of reactive and stochastic systems. She is a leading expert in probabilistic model checking, temporal and modal logics, automata over infinite structures, game theory, and the verification of infinite-state systems. Her work bridges theoretical foundations with practical applications in system reliability and correctness. The recent publications and edited volumes reflect a consistent focus on formal verification, logic in computer science, and tools for system analysis. Her editorial leadership in major venues such as LICS, TACAS, and FoSSaCS underscores her influence in shaping the research agenda in theoretical computer science and formal methods. Jean-Claude Laprie Award in Dependable Computing (2023) Honorary doctorate from RWTH Aachen (2022) Member of Academia Europaea (since 2011) Editor-in-Chief of Acta Informatica (2015–2022) Steering Committee Member of LICS, FoSSaCS, FORTE, and FSEN Extensive service on program committees of top-tier conferences including CAV, CONCUR, and ICALP Christel Baier has advised numerous PhD and master’s students (though not explicitly listed), and has led major research projects funded by DFG, EU, and DAAD. She has organized pivotal events such as CONCUR'06, TACAS'15, and LICS'22. She is actively involved in academic governance, serving on the senate of TU Dresden (2015–2020), as ombudsperson for the Department of Computer Science, and on the Scientific Advisory Board of Schloss Dagstuhl. Her leadership in the German Excellence Initiative and DFG Research Training Groups highlights her role in shaping national research agendas.