معرفی
Mariëlle Stoelinga is a Professor in the Department of Computer Science at the University of Twente, specializing in risk management, formal methods, and system dependability. Her research develops rigorous frameworks for analyzing safety, security, and reliability in complex systems. Stoelinga's work combines theoretical foundations with practical applications across domains including critical infrastructure and aerospace.
Her research interests include formal verification of probabilistic systems, risk assessment methodologies, security threat modeling, fault tree analysis, and dependability engineering. She creates tools and techniques for quantifying and mitigating risks in safety-critical systems.
Stoelinga's publications advance risk management through formal methods, developing logics for security properties, algorithms for attack tree analysis, and probabilistic verification techniques. Her tutorial 'No Risk, No Fun' synthesizes key concepts in computational risk management.
