Erweiterte Suche


Zielgruppennavigation: 

 

Hauptnavigation: 

Sprache:

Arbeitsgruppe Softwareentwicklung und Verifikation

Prof. Dr. Markus Müller-Olm
Institut für Informatik
Einsteinstraße 62
48149 Münster
Germany

Tel.: +49-251-83-33792
Fax: +49-251-83-33755

Softwareentwicklung und Verifikation

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. Um sich genauer über unsere Aktivitäten zu informieren, folgen Sie bitte den Links oben auf dieser Seite.

Hinweise

  • Im Wintersemester 2016/17 bieten wir neben der Vorlesung "Software Engineering" und dem Softwarepraktikum ein Seminar "Fortgeschrittene Themen der Komplexitätstheorie" an. Die Vorbesprechung für dieses Seminar ist am Donnerstag, 14.7.2016, um 14:15 Uhr im Lichthof im 7. Stock. Nähere Informationen entnehmen Sie bitte der entsprechenden Webseite.
  • Informationen zu den Sprechstundenterminen von Prof. Müller-Olm finden Sie auf seiner Webseite.
  • Scheine zu Veranstaltungen unserer Arbeitsgruppe werden von Frau Giesbert, Raum 202 (Orleansring 10), Montags bis Donnerstags zwischen 9:00 Uhr und 13:00 Uhr ausgegeben.
English version of this page.
Impressum | © 2007 FB10 WWU Münster
Universität Münster
Schlossplatz 2 - 48149 Münster
Tel.: +49 (251) 83-0 - Fax: +49 (251) 83-3 20 90
E-Mail: