Prof.Dr. Markus Müller-Ohm

Westfälische Wilhelms Universität Münster
Fachbereich: Mathematik und Informatik
Zugeordnete Branche: IT und Management
Zugeordnetes Fachgebiet: Informatik | Softwareentwicklung

Institut: Institut für Informatik

Digital Solutions

Forschungsschwerpunkte•

• Programmanalyse•
• Softwareverifikation•
• Theorie der Parallelität
• Aufbau, Analyse und Verifizierung von Softwaresystemen
• Compiler- und Programmüberprüfung
• Prozessalgebra
• Modellprüfung

Westfälische Wilhelms Universität Münster
Einsteinstraße 62 | 48149 Münster
716

Tel. 0251 83-33765

markus.mueller-olm@uni-muenster.de

https://www.uni-muenster.de/Informatik.AGMueller-Olm/en/people/mmo/

Software | Programmierung | Programmanalyse | Softwareverifikation | Softwaresysteme | Compilerprüfung | Prozessalgebra | Modellprüfung | Softwareentwicklung