Markus Müller-Olm -

Registered user since Wed 23 Jun 2021

Name:Markus Müller-Olm

Country:Germany

Affiliation:University of Münster

Personal website: https://www.uni-muenster.de/Informatik.AGMueller-Olm/en/people/mmo/index.shtml

Research interests:Concurrency Theory, Model Checking, Program Logics, Program Analysis, Verification

Contributions

2024

POPL

Author of Deciding Asynchronous Hyperproperties for Recursive Programs within the POPL-track

VMCAI

Author of A Navigation Logic for Recursive Programs with Dynamic Thread Creation within the VMCAI 2024-track

2022

VMCAI

PC Member in Program Committee within the VMCAI 2022-track

2021

POPL

Author of Automata and Fixpoints for Asynchronous Hyperproperties within the POPL-track

2019

ESOP

Committee Member in Program Committee within the ESOP 2019-track