User:Marmux

I am a post doctoral researcher in the group of Prof. Dr. Kim G Larsen at the Department of Computer Science at Aalborg University. I received my doctorate in Computer Science from theUniversity of Freiburg. My supervisors were Prof. Dr. Andreas Podelski together with Dr. Bernd Westphal.

Research Interests

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. c.f. http://people.cs.aau.dk/~muniz/^[1]

^ Muniz, Marco. [http://people.cs.aau.dk/~muniz/ "Personal Page"]. Marco Muñiz. {{cite web}}: Check |url= value (help); Cite has empty unknown parameter: |dead-url= (help)

[1] Muniz, Marco. [http://people.cs.aau.dk/~muniz/ "Personal Page"]. Marco Muñiz. {{cite web}}: Check |url= value (help); Cite has empty unknown parameter: |dead-url= (help)

[1]