معرفی
Mariëlle I.A. Stoelinga is a Full Professor at Radboud University Nijmegen, affiliated with the Digital Society Institute and the Formal Methods and Tools group. Her work focuses on formal methods, cybersecurity, and safety-critical systems, contributing to UN Sustainable Development Goals related to infrastructure resilience and innovation.
Education: Prior academic qualifications include doctoral studies leading to her Prof.dr. title. Her research integrates theoretical foundations of fault and attack trees, model checking, and stochastic modeling, with applications in railways, manufacturing, and smart infrastructure.
Research interests include: Fault Tree Analysis (FTA), Attack Tree Modeling, Risk Management, Formal Verification of Cyber-Physical Systems, Railway Industry Standards, and Anomaly Detection in Manufacturing. She has a strong focus on practical applications, such as data-driven maintenance strategies and security protocols for critical infrastructure.
Recent work emphasizes modular criticality analysis for dynamic systems, fuzzy logic in cybersecurity, and statistical model checking for reliability-centered maintenance. Her publications reflect interdisciplinary collaboration across computer science, engineering, and legal domains.
Scientific Awards: Notable recognitions include the Alice & Eve Award (2024), Best Paper Awards at SEFM (2023) and FORTE (2022), and the Concur Test-of-Time Award (2022). These highlight her contributions to formal methods and security research.
Advising & Grants: Supervised 12 students and led projects on topics like railway controller testing and additive manufacturing defect analysis. Active in research networks and conferences, she also engages in public outreach through podcasts on data-driven maintenance innovations.
Labs/Teams: Part of the Formal Methods and Tools group at Radboud University, collaborating on projects involving digital society challenges, safety-critical systems, and cyber-physical security.
