Anne Remke
© Anne Remke

Professorin Dr. Anne Remke

Leitung der Arbeitsgruppe Sicherheitskritische Systeme.

Seit Oktober 2014 leite ich die Arbeitsgruppe für Sicherheitskritische Systeme im Fachbereich 10 der Westfälischen Wilhelms-Universität Münster.

Zusätzlich bin ich  der Arbeitsgruppe Design and Analysis of Communication Systems im Fachbereich für Elektrotechnik, Mathematik und Informatik an der Universität Twente verbunden. Seit März 2016 bin ich dort als Associate Professor tätig und vorher (seit Juni 2010) als Assistant Professor. Ich habe im Jahr 2008 and der Universität Twente promoviert und im Jahr 2004 mein Studium an der RWTH Aachen mit dem Diplom in Informatik abgeschlossen. 

 

Mein Forschungsschwerpunkt liegt auf der Zuverlässigkeit und Sicherheit von kritischen Infrastrukturen, wie z.B Wasser-, Gas- und Elektrizitätsnetzen. Bei kritischen Infrastrukturen handelt es sich um sogenannte Cyber-physische Systeme, welche physikalische Systeme und die zugehörige Hardware mit Hilfe ihrer Steuerungsnetze (dezentral) kontrollieren. Mein Interesse gilt momentan vor allem der Bewertung von verschiedenen (Ent-)ladestrategien für lokale Speichermedien im Kontext von Smart Homes, sowie der Netzwerksicherheit von Steuerungsnetzen (z.B. SCADA) insbesondere für Smart Grids. 

Sprechstunde

Sie können mich gerne per  eMail kontaktieren.

  • 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)