Lebenslauf

• August 2011: Diplom in Informatik an der WWU Münster
• August 2011: Diplom in Mathematik an der WWU Münster
• Seit Oktober 2011: Mitarbeiter der Arbeitsgruppe Softwareentwicklung und Verifikation am Institut für Informatik der WWU Münster

Publikationen

• Benedikt Nordhoff, Markus Müller-Olm and Peter Lammich
  Iterable Forward Reachability Analysis of Monitor-DPNs
  In Anindya Banerjee, Olivier Danvy, Kyung-Goo Doh and John Hatcliff: Proceedings Semantics, Abstract Interpretation, and Reasoning about Programs: Essays Dedicated to David A. Schmidt on the Occasion of his Sixtieth Birthday (Festschrift for Dave Schmidt), Manhattan, Kansas, USA, 19-20th September 2013, Electronic Proceedings in Theoretical Computer Science 129, pp. 384-403. http://dx.doi.org/10.4204/EPTCS.129.24, September 2013.
• Benedikt Nordhoff and Peter Lammich
  Dijkstra's Shortest Path Algorithm
  In: G. Klein, T. Nipkow, and L. Paulson (ed), The Archive of Formal Proofs, http://afp.sf.net/entries/Dijkstra_Shortest_Path.shtml, January 2012, Formal proof development.
• Benedikt Nordhoff
  Automatenbasierte Analyse paralleler Java-Programme
  Diplomarbeit am Fachbereich Mathematik und Informatik der WWU Münster 2011,
• Benedikt Nordhoff, Stefan Körner and Peter Lammich
  Finger Trees
  In: G. Klein, T. Nipkow, and L. Paulson (ed), The Archive of Formal Proofs, http://afp.sf.net/entries/Finger-Trees.shtml, October 2010, Formal proof development.