conf.researchr.org / Markus Müller-Olm
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

VMCAI 2022 PC Member in Program Committee within the VMCAI 2022-track
POPL 2021 Author of Automata and Fixpoints for Asynchronous Hyperproperties within the POPL-track
ESOP 2019 Committee Member in Program Committee within the ESOP 2019-track