Softwareentwicklung und Verifikation

AG Prof. Dr. Markus Müller-Olm

Willkommen bei der Arbeitsgruppe Softwareentwicklung und Verifikation des Instituts für Informatik am Fachbereich Mathematik und Informatik der Westfälischen Wilhelms-Universität Münster. Wir beschäftigen uns mit systematischen Methoden zum Entwurf, zur Implementierung und zur Validierung von Softwaresystemen. Forschungsschwerpunkt sind mathematik-basierte Methoden zur Verifikation und Analyse. Unser Angebot in der Lehre spannt einen Bogen von den Grundlagen im Bereich Semantik und Verifikation von Programmen bis zur praktischen Softwaretechnik. Informationen sowohl zu unseren Forschungsaktivitäten als auch zu unseren Lehrveranstaltungen erhalten Sie über das Menü.

Hinweise

  • Im Seminar "Verification of Recursive Systems" im Wintersemester 2020/21 sind einige Themen bisher noch nicht vergeben worden. Falls Sie Interesse haben, an der Veranstaltung teilzunehmen, wenden Sie sich bitte per Mail an Jens Gutsfeld oder Markus Müller-Olm.
  • Die Arbeitsgruppe Softwareentwicklung und Verifikation bietet im Wintersemester 2020/21 ein Seminar zum Thema "Verification of Recursive Systems" an. Die Vorbesprechung mit der Themenvergabe findet am Freitag, dem 10.7.2020, um 14:15 Uhr per WWUZoom statt. Die Zugangsdaten dazu finden Sie im Learnweb-Kurs zur globalen Seminar- und Projektseminarvorstellung des Instituts für Informatik. Weitere Informationen zur globalen Vorstellungsveranstaltung finden Sie auch auf dieser Seite.
  • Wegen der Corona-Pandemie findet die Sprechstunde von Prof. Müller-Olm bis auf Weiteres nicht in der üblichen Form statt. Wenn Sie Beratungsbedarf haben, schicken Sie ihm deshalb bitte eine E-Mail (an die Adresse markus.mueller-olm@wwu.de) mit einer kurzen Beschreibung Ihres Anliegens und einer Telefonnummer. Er wird dann versuchen, Sie während der Sprechstundenzeiten (in der Regel donnerstags, 12:15-13:00 Uhr) zu kontaktieren. Die Sprechstundentermin in der vorlesungsfreien Zeit finden Sie auf seiner Webseite.