
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 2020 | Committee Member in Artifact-Evaluation Committee within the VMCAI 2020-track | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2020-profile
View general profile
View general profile