Prof. Marielle Stoelinga is a Professor at the University of Twente, Netherlands, working within the Electrical Engineering, Mathematics and Computer Science faculty in the Formal Methods and Tools department. She leads significant research initiatives in formal methods with applications to safety, security, and reliability engineering. Her research spans predictive maintenance , fault tree analysis , attack tree modeling , and the integration of safety and security through formal methods. She focuses on applying big data analytics to predict system failures, with particular emphasis on critical infrastructure including railway systems, satellite missions, and nuclear reactors. Her work bridges theoretical formal methods with practical applications in asset management. Analysis of her recent publications reveals a strong trend toward integrating safety and security analysis through attack-fault-defense trees, developing formal frameworks for risk assessment, and applying model checking techniques to real-world maintenance problems. Her research increasingly addresses the human and organizational aspects of predictive maintenance systems while maintaining rigorous formal foundations. 5 million euros research grant from Dutch National Organization for Scientific Research (NWO) for PrimaVera project Prof. Stoelinga leads the PrimaVera research project ( Predictive maintenance for Very effective asset management ), which takes a holistic approach to predictive maintenance spanning sensor systems, data science, maintenance optimization, and human factors. Her research group actively contributes to formal methods applications in critical infrastructure sectors including energy, transportation, and aerospace.
