Paper "Software Verification with PDR: An Implementation of the State of the Art" published in Proc. TACAS'20 and available now!

Prof. Dr. Wolfgang Hesse

Picture of Prof. Dr. Wolfgang Hesse

Software and Computational Systems Lab
Institute for Informatics
Ludwig-Maximilians-Universität München (LMU Munich)
Oettingenstraße 67
80538 Munich (Germany)

Office hours
By appointment only
Phone
+49 89 2180 9151
E-Mail
lastname@pst.ifi.lmu.de

Forschungsinteressen

  • Modellierung in der Softwaretechnik, speziell Modellierung dynamischer Systeme
  • Interdisziplinäre und gesellschaftliche Aspekte der Informatik
  • Anschlussoptimierung in öffentlichen Verkehrsnetzen
  • Musiktheorie

Lehrveranstaltungen

WS 2014/15: Seminar "Modellierung dynamischer und adativer Systeme"
WS 2015/16: Seminar "Modellierung dynamischer und adaptiver System"
WS 2015/16 (mit Dr. Gerhard Apfelauer): "Die Variation in der Musik" (S. 29)
WS 2016/17: Seminar "Modellierung dynamischer und adaptiver System"
WS 2016/17 (mit Dr. Gerhard Apfelauer): "Musikalische Formen" (S. 29)
WS 2017/18: Seminar "Modellierung dynamischer und adaptiver System"
WS 2017/18 (mit Dr. Gerhard Apfelauer): "Epochen und Stilelemente der Musik" (S. 29)
WS 2018/19: Seminar "Modellierung dynamischer und adaptiver System"
WS 2018/19 (mit Dr. Gerhard Apfelauer): "Musikmetropole Wien um 1820 und 1920: die kreativen Zwanziger Jahr" (S. 33)
WS 2019/20: Seminar "Modellierung dynamischer und adaptiver System"
WS 2019/20 (mit Dr. Gerhard Apfelauer): "Musikalische Querbezüge und Transformationen" (S. 33/34)

Frühere Veröffentlichungen, Sonstiges

siehe http://www.uni-marburg.de/fb12/informatik/homepages/hesse