Prof. Dr. Markus Müller-Olm
Aktuelle Zugehörigkeiten
- Professur für Praktische Informatik (Prof. Müller-Olm)
Curriculum Vitae (CV)
- Programmanalyse
- Softwareverifikation
- Theorie der Parallelität
Akademische Ausbildung | |
| 2003 | Habilitation, Fachbereich Informatik, Universität Dortmund, Venia Legendi für Informatik, Titel der Habilitationsschrift: Variations on Constants - Flow Analysis of Sequential and Parallel Programs |
| 1996 | Promotion zum Dr. rer. nat. (summa cum laude), Technische Fakultät, Christian-Albrechts-Universität, Kiel, Dissertationsthema: Modular Compiler Verification, Betreuer: Prof. Hans Langmaack |
| 1991 | Diplom in Informatik, Christian-Albrechts-Universität, Kiel |
Berufliche Stationen | |
| seit 10/2005 | Universitätsprofessor, Institut für Informatik, FB 10, WWU Münster, Leiter der Arbeitsgruppe Softwareentwicklung und Verifikation |
| 10/2004 - 09/2005 | Hochschuldozent, Fachbereich Informatik, Universität Dortmund |
| 04/2003 - 09/2004 | Lehrstuhlvertretung, Lehrgebiet Programmiersprachen und Softwarekonstruktion, Fachbereich Informatik, FernUniversität Hagen |
| 01/1997 - 03/2003 | Wissenschaftlicher Mitarbeiter, Universitäten Passau, Dortmund und Trier |
| 04/1991 - 12/1996 | Wissenschaftlicher Mitarbeiter, Institut für Informatik und Angewandte Mathematik, CAU Kiel |
Funktionen und Mitgliedschaften | |
| seit 2003 | Mitglied und Secretary (seit Herbst 2012) der IFIP Working Group 2.2, Formal Description of Programming Concepts |
| seit 2002 | Mitglied von Programmkommitees internationaler Konferenzen, Workshops und Doktorandenschulen, u.a. ESOP'19, SETTA'18, NETYS'18, SETTA'17, SETTA'16, ICALP'15, SAS'14, RP'13, ACM SAC'13, SAS'12, FOSSACS'12, ACM SAC'12, MOVEP'12, CONCUR'10, CAV'10, FOSSACS'10, MOVEP'10, VMCAI'10, ICALP'09, CAV'09, VMCAI'09, MOVEP'08, VMCAI'07, VMCAI'06, MOVEP'06, ESOP'04, MOVEP'04, VMCAI'04, COCV'02 |
| 2017 - 2018 | Programmkomitee-Chair (mit Xinyu Feng, Nanjing University, China, und Zijiang Yang, Western Michigan University, USA) von SETTA 2018: 4th Symposium on Dependable Software Engineering, Beijing, China, 4.-6. September 2018 |
| 2013 - 2017 | Stellvertretender Sprecher der GI-Fachgruppe Concurrency Theory |
| 2013 - 2014 | Programmkomitee-Chair (mit Helmut Seidl) von SAS'14: 21th International Static Analysis Symposium, München, Germany, 13.-15. September 2014 |
| 2008 - 2009 | Programmkomitee-Chair (mit Neil D. Jones) von VMCAI'09: 10th International Conference on Verification, Model Checking and Abstract Interpretation, Savannah, GA, USA, January 18-20, 2009 |
Publikationen
Gutsfeld Jens Oliver, Müller-Olm Markus, Ohrem Christoph (2021) In: Proc. ACM Program. Lang. (POPL), 5(POPL) Art der Publikation: Forschungsartikel (Zeitschrift) | |
Gutsfeld Jens Oliver, Müller-Olm Markus, Dielitz Christian (2021) In: Leporati Alberto, Martı́n-Vide Carlos, Shapira Dana Zandron Claudio (Hrsg.), Language and Automata Theory and Applications - 15th International Conference, LATA 2021, Milan, Italy, March 1-5, 2021, Proceedings. Springer. Art der Publikation: Forschungsartikel in Sammelband (Konferenz) | |
Gutsfeld Jens, Müller-Olm Markus, Ohrem Christoph
(2020) In: Konnov Igor, Kovács Laura (Hrsg.), 31st International Conference on Concurrency Theory. Dagstuhl Publishing. Art der Publikation: Forschungsartikel in Sammelband (Konferenz) | |
Feng Xinyu, Müller-Olm Markus, Yang Zijiang (Hrsg.) (2018) Springer VDI Verlag. Art der Publikation: Fachbuch (Herausgegebenes Buch) | |
Gutsfeld Jens, Müller-Olm Markus, Nordhoff Benedikt (2018) In: Gallardo María-del-Mar, Merino Pedro (Hrsg.), Model Checking Software - 25th International Symposium, SPIN 2018. Springer. Art der Publikation: Forschungsartikel in Sammelband (Konferenz) |
Projekte
Model-Checking von Navigationslogiken (MoNaLog) Laufzeit: 01.06.2020 - 31.05.2023 | 1. Förderperiode Gefördert durch: DFG - Sachbeihilfe/Einzelförderung Art des Projekts: Gefördertes Einzelprojekt | |
SPP 1496 - Teilprojekt: Informationsflusskontrolle für mobile Komponenten mittels präziser Analyse paralleler Programme (IFC for Mobile Components) Laufzeit: 01.10.2014 - 30.06.2018 | 3. Förderperiode Gefördert durch: DFG - Schwerpunktprogramm Art des Projekts: Teilprojekt in DFG-Verbund koordiniert außerhalb der Universität Münster | |
Laufzeit: 01.12.2012 - 31.12.2015 | 2. Förderperiode Gefördert durch: DFG - Sachbeihilfe/Einzelförderung Art des Projekts: Gefördertes Einzelprojekt | |
SPP 1496 - Teilprojekt: Informationsflusskontrolle für mobile Komponenten mittels präziser Analyse paralleler Programme (IFC for Mobile Components) Laufzeit: 01.10.2012 - 30.09.2015 | 2. Förderperiode Gefördert durch: DFG - Schwerpunktprogramm Art des Projekts: Teilprojekt in DFG-Verbund koordiniert außerhalb der Universität Münster | |
SPP 1496 - Teilprojekt: Informationsflusskontrolle für mobile Komponenten mittels präziser Analyse paralleler Programme (IFC for Mobile Components) Laufzeit: 01.10.2010 - 30.09.2013 | 1. Förderperiode Gefördert durch: DFG - Schwerpunktprogramm Art des Projekts: Teilprojekt in DFG-Verbund koordiniert außerhalb der Universität Münster |
Promotionen
| Lock-Sensitive Reachability Analysis for Parallel Recursive Programs with Dynamic Creation of Threads and Locks Promovend*in: Kenter, Sebastian | Betreuer*innen: Müller-Olm, Markus | Gutachter*innen: Müller-Olm, Markus; Remke, Anne Zeitraum: 02.04.2012 - 11.07.2022 Promotionsverfahren erfolgt(e) an: Promotionsverfahren an der Universität Münster | |
| Security Through Safety: An Approach to Information Flow Control Based on Derivation of Safety Properties From a Characterisation of Insecure Behavior Promovend*in: Nordhoff, Benedikt | Betreuer*innen: Müller-Olm, Markus | Gutachter*innen: Müller-Olm, Markus; Seidl, Helmut Zeitraum: 03.10.2011 - 21.01.2022 Promotionsverfahren erfolgt(e) an: Promotionsverfahren an der Universität Münster | |
| Thalamische Neurone in silico Promovend*in: Meuth, Patrick | Betreuer*innen: Budde, Thomas; Burger, Martin; Müller-Olm, Markus Zeitraum: bis 29.06.2011 Promotionsverfahren erfolgt(e) an: Promotionsverfahren an der Universität Münster | |
| Locksensitive Analyse paralleler Programme Promovend*in: Lammich, Peter | Betreuer*innen: Müller-Olm, Markus Zeitraum: bis 28.06.2011 Promotionsverfahren erfolgt(e) an: Promotionsverfahren an der Universität Münster |