Prof. Dr. Markus Müller-Olm
Current affiliations
- Professorship for practical computer science (Prof. Müller-Olm)
Curriculum Vitae (CV)
- Program Analysis
- Software Verification
- Concurrency Theory
Academic Education | |
| 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 |
Work Experience | |
| since 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 |
Functions and Memberships | |
| since 2003 | Mitglied und Secretary (seit Herbst 2012) der IFIP Working Group 2.2, Formal Description of Programming Concepts |
| since 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 |
Publications
Gutsfeld Jens Oliver, Müller-Olm Markus, Ohrem Christoph (2021) In: Proc. ACM Program. Lang. (POPL), 5(POPL) Type of Publication: Research article (journal) | |
Gutsfeld Jens Oliver, Müller-Olm Markus, Dielitz Christian (2021) In: Leporati Alberto, Martı́n-Vide Carlos, Shapira Dana Zandron Claudio (eds.), Language and Automata Theory and Applications - 15th International Conference, LATA 2021, Milan, Italy, March 1-5, 2021, Proceedings. Springer. Type of Publication: Research article in edited proceedings (conference) | |
Gutsfeld Jens, Müller-Olm Markus, Ohrem Christoph
(2020) In: Konnov Igor, Kovács Laura (eds.), 31st International Conference on Concurrency Theory. Dagstuhl Publishing. Type of Publication: Research article in edited proceedings (conference) | |
Feng Xinyu, Müller-Olm Markus, Yang Zijiang (eds.) (2018) Springer VDI Verlag. Type of Publication: Book (edited collection) | |
Gutsfeld Jens, Müller-Olm Markus, Nordhoff Benedikt (2018) In: Gallardo María-del-Mar, Merino Pedro (eds.), Model Checking Software - 25th International Symposium, SPIN 2018. Springer. Type of Publication: Research article in edited proceedings (conference) |
Projects
Model Checking of Navigation Logics (MoNaLog) Duration: 01/06/2020 - 31/05/2023 | 1st Funding period Funded by: DFG - Individual Grants Programme Type of project: Individual project | |
SPP 1496 – WP: Information Flow Control for Mobile Components Based on Precise Analysis for Parallel Programs (3rd funding period) (IFC for Mobile Components) Duration: 01/10/2014 - 30/06/2018 | 3rd Funding period Funded by: DFG - Priority Programme Type of project: Subproject in DFG-joint project hosted outside University of Münster | |
Duration: 01/12/2012 - 31/12/2015 | 2nd Funding period Funded by: DFG - Individual Grants Programme Type of project: Individual project | |
SPP 1496 – WP: Information Flow Control for Mobile Components Based on Precise Analysis for Parallel Programs (2nd funding period) (IFC for Mobile Components) Duration: 01/10/2012 - 30/09/2015 | 2nd Funding period Funded by: DFG - Priority Programme Type of project: Subproject in DFG-joint project hosted outside University of Münster | |
SPP 1496 - WP: Information Flow Control for Mobile Components Based on Precise Analysis for Parallel Programs (1st funding period) (IFC for Mobile Components) Duration: 01/10/2010 - 30/09/2013 | 1st Funding period Funded by: DFG - Priority Programme Type of project: Subproject in DFG-joint project hosted outside University of Münster |
Doctorates
| Lock-Sensitive Reachability Analysis for Parallel Recursive Programs with Dynamic Creation of Threads and Locks Candidate: Kenter, Sebastian | Supervisors: Müller-Olm, Markus | Reviewers: Müller-Olm, Markus; Remke, Anne Period of time: 02/04/2012 - 11/07/2022 Doctoral examination procedure finished at: Doctoral examination procedure at University of Münster | |
| Security Through Safety: An Approach to Information Flow Control Based on Derivation of Safety Properties From a Characterisation of Insecure Behavior Candidate: Nordhoff, Benedikt | Supervisors: Müller-Olm, Markus | Reviewers: Müller-Olm, Markus; Seidl, Helmut Period of time: 03/10/2011 - 21/01/2022 Doctoral examination procedure finished at: Doctoral examination procedure at University of Münster | |
| Thalamic neurons in silico Candidate: Meuth, Patrick | Supervisors: Budde, Thomas; Burger, Martin; Müller-Olm, Markus Period of time: until 29/06/2011 Doctoral examination procedure finished at: Doctoral examination procedure at University of Münster | |
| Lock-Sensitive Analysis of Parallel Programs Candidate: Lammich, Peter | Supervisors: Müller-Olm, Markus Period of time: until 28/06/2011 Doctoral examination procedure finished at: Doctoral examination procedure at University of Münster |