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
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
Warning: implode(): Invalid arguments passed in /www/htdocs/w01773ba/msl-forschungskooperation.de/detail.php on line 300
Fatal error: Uncaught PDOException: SQLSTATE[42000]: Syntax error or access violation: 1064 You have an error in your SQL syntax; check the manual that corresponds to your MariaDB server version for the right syntax to use near ')' at line 1 in /www/htdocs/w01773ba/msl-forschungskooperation.de/detail.php:302 Stack trace: #0 /www/htdocs/w01773ba/msl-forschungskooperation.de/detail.php(302): PDOStatement->execute(Array) #1 {main} thrown in /www/htdocs/w01773ba/msl-forschungskooperation.de/detail.php on line 302