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

Aktuelle Informationen:

  • Die Vorbesprechung für unser Seminar "Aktuelle Themen aus der Theorie der Programmierung" im Sommersemester 2018 findet statt am Freitag, dem 26. Januar 2018, um 14:15 Uhr im Lichthof im 7. Stock in der Einsteinstraße 62. Die Themenliste findet sich hier.
  • Informationen zu den Sprechstundenterminen von Prof. Müller-Olm finden Sie auf seiner Webseite.