• 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


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