Anne Remke
© Anne Remke

Professor Dr. Anne Remke

Head of safety-critical systems group.

Since October 2014 I am professor at the group of saftey-critical system which is part of the Faculty of Mathematics and Computer Science at Westfälische Wilhelms-Universität Münster.

I am also affiliated to the  Design and Analysis of Communication Systems group, which belongs to the Faculty of Electrical Engineering, Mathematics, and Computer Science at the University of Twente. Since March 2016 as associate professor and before (since June 2010) as assistant professor. I hold a Ph. D. degree (2008) from the University of Twente and a M.Sc degree (2004) from the RWTH Aachen, both in Computer Science.


My research focus is on dependability and security in critical 7x24 infrastructures, such as electrical power systems and their infrastructure and telecommunication and ICT infrastructures.  Critical Infrastructures are so-called cyber-physical systems, which control the physical processes and the corresponding hardware using a decentralized control network.  My interest is currently focused on the evaluation of (dis-)charging strategies for local energy storage, esp. in the context of smart homes, as well as the security of control networks  (i.e. SCADA), esp. in the context of smart grids. 

Consultation hour

Please do not hesitate to contact me via eMail.

Regarding questions for extracurricular attendence for lectures please directly conctact Katharina Sichma via eMail.

  • Vita

    In November, 2010 I received a Veni award from the Dutch Science foundation (NWO) for doing research on 'Counting on a reliable water supply' (laymen title) or 'Dependability analysis of fluid critical infrastructures using hybrid stochastic models' (scientific title).

    June 20, 2008 I publicly defended my PhD thesis "Model Checking Structured Infinite Markov Chains" at the University of Twente. During my PhD I worked in the NWO project MC=MC under the supervision of Boudewijn Haverkort. My research topics was "Model checking infinite state Markov chains".

    During my PhD my research interests were CSL model checking in general, and model checking of infinite-state Markov chains in particular. I am still interested in structured state spaces like quasi-birth death processes (QBDs), tree-structured QBDs and Jackson queueing networks (JQNs) and in the analysis of bottlenecks in multi-hop IEEE 802.11e ad hoc networks.

    I completed my diploma thesis, entitled "Model Checking Quasi Birth Death Processes" in the summer of 2004 while staying, as a visiting student, at the University of Twente. I have been awarded the 2006 GI/ITG MMB prize for the best diploma thesis in the area of measurements, modelling and evaluation of computer and communication systems. The prize is awarded jointly by the "Gesellschaft for Informatik" and the "Informationstechnische Gesellschaft im VDE", and was officially handed out at the MMB conference in Nurnberg, Germany.

    Born in Muenster, Germany, April 24th 1980, I finished high school in June 1999 and graduated in Computer Science at the RWTH Aachen in 2004 (Dipl. - Inform)