Professor Dr. Markus Müller-Olm

Address Universität Münster
Institut für Informatik
Einsteinstraße 62
48149 Münster

Projects

As Applicant
- Completed projects
  - Optimale Interprozeduale Analyse von Programmen mit dynamischer Thread-Erzeugung (Research Grants)
  - Information Flow Control for Mobile Components Based on Precise Analysis for Parallel Programs (Priority Programmes)
  - Model Checking of Navigation Logics (MoNaLog) (Research Grants)