Anne K.I. RemkeView profile
Professor
Dr. Anne K.I. Remke is a Full Professor in the Department of Mathematics of Operations Research at the University of Twente's College of Engineering. Her research focuses on stochastic modeling, hybrid systems, and formal verification techniques, with applications in energy systems, cybersecurity, and healthcare. She contributes to UN Sustainable Development Goals related to affordable and clean energy (SDG7) and industry innovation (SDG9). Her recent work includes developing stochastic hybrid system specifications, intrusion detection systems for smart grids, and parameter estimation methods for battery models. She has collaborated internationally on projects involving energy distribution networks and cybersecurity infrastructure. Remke has supervised 3 PhD students and maintains an active publication record with over 76 research outputs since 2004. Her technical expertise spans model checking algorithms, probabilistic verification, and algorithm design for infinite-state systems. She frequently publishes in peer-reviewed journals like Energy Informatics and conferences such as E-Energy and IEEE CSR, focusing on real-world applications like smart grid communication and energy management optimization.








