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

  • Die Arbeitsgruppe Softwareentwicklung und Verifikation bietet im Sommersemester 2023 ein Seminar zum Thema "Hyperlogiken" an. Nähere Informationen dazu finden sie auf unserer Webseite zum Seminar.
  • Ab dem Sommersemester 2023 findet die Sprechstunde von Prof. Müller-Olm wieder in Präsenz in seinem Büro statt (Einsteinstraße 62, 48149 Münster, Raum 716). Bis auf Weiteres gibt es aber auch das Angebot einer telefonischen Beratung. Deshalb können Sie ihm alternativ zum Besuch der Präsenzsprechstunde eine E-Mail (an die Adresse markus.mueller-olm@wwu.de) mit einer kurzen Beschreibung Ihres Anliegens und einer Telefonnummer schicken. Er wird dann versuchen, Sie telefonisch zu kontaktieren in der Regel während der Sprechstundenzeiten. Informationen zu den Sprechstundenzeitn finden Sie auf seiner Webseite.