معرفی
Professor Anne Remke leads the safety-critical systems group at the Faculty of Mathematics and Computer Science at Westfälische Wilhelms-Universität Münster since October 2014. She is also affiliated with the Design and Analysis of Communication Systems group at the University of Twente, where she served as assistant professor from June 2010 and became associate professor in March 2016. Her research focuses on dependability and security in critical infrastructures, particularly electrical power systems and telecommunication networks.
Her educational background includes a PhD (2008) and MSc (2004) in Computer Science from the University of Twente and RWTH Aachen respectively. Her doctoral research focused on 'Model Checking Structured Infinite Markov Chains,' for which she publicly defended her thesis in June 2008.
Professor Remke's research interests center on cyber-physical systems, with particular focus on evaluation of charging strategies for local energy storage in smart homes and security of control networks (SCADA) in smart grids. Her work bridges theoretical model checking techniques with practical applications in critical infrastructure protection. She has made significant contributions to the analysis of hybrid Petri nets, stochastic models, and the development of tools for dependability evaluation.
Her recent publications demonstrate a strong trend toward integrating machine learning with formal verification methods for cyber-physical systems. The research spans stochastic hybrid systems, reachability analysis, and security evaluation of smart grid infrastructures, showing consistent growth in both theoretical foundations and practical applications of dependability analysis.
- Veni award from Dutch Science foundation (NWO) for 'Counting on a reliable water supply'
- GI/ITG MMB prize for best diploma thesis in computer and communication systems
- Best Paper Award at Valuetools 2023 conference
- Best Repeatability and Artifact Evaluation Award at QEST21
- Teaching award from Fachschaft FB10 (2019)
Professor Remke has successfully secured multiple research grants including the DFG project 'RealyST: Reachability Analysis for Stochastic Hybrid Systems' in collaboration with RWTH Aachen. She has supervised numerous students including Katharina Sichma, Pauline Blohm, Joanna Delicaris, Verena Menzel, Mathis Niehage, Jonas Stübbe, and Lisa Willemsen. Her research group actively participates in international collaborations and standardization efforts in critical infrastructure security.
The safety-critical systems group maintains several research tools including HYPEG (for simulation and analysis of hybrid Petri nets), TimeNET (a GUI for modeling hybrid Petri nets), and a Smart Neighbourhood Simulation Tool for community energy storage and trading. These tools support their research in modeling and evaluating complex critical infrastructures through both analytical methods and simulation techniques.
