Write a Blog >>
Marco Muñiz

Registered user since Wed 9 Oct 2019

Name: Marco Muñiz

Bio: I am an Assistant Professor at the DEIS unit at the Department of Computer Science at Aalborg University. I received my doctorate in Computer Science from the University of Freiburg. My research focuses on formal verification and strategy synthesis for stochastic hybrid games. Previously I have worked on software verification via model checking and automated theorem proving.

Country: Denmark

Affiliation: Aalborg University

Personal website: http://people.cs.aau.dk/~muniz/

Research interests: Model Checking, Strategy Synthesis

Contributions

VMCAI 2020Committee Member in Artifact-Evaluation Committee within the VMCAI 2020-track
Show activities from other conferences

Using general profile