Mikkel Larsen Pedersen, postdoc (titles: M.Sc., PhD)
Room 1.2.50
Department of Computer Science, Aalborg University
Selma Lagerlöfs Vej 300
9220 Aalborg Ø

About Me

I am a postdoc at Department of Computer Science at Aalborg University being involved in the project Modular Markovian Logics for Analysis of Stochastic Concurrent Systems working under Radu Mardare.

Until 31/10-2011, I was a ph.d. student in the MT-Lab project.

In June 2008 I graduated from Department of Mathematical Sciences with a Master degree in Mathematics (and a minor in Computer Science). My thesis 'Ramsey Theory for Graphs' focuses on a number of results in Ramsey theory, covering a wide range of graph theoretical tools.

I am interested in specification theories for probabilistic systems, that is, Markov Chains and Probabilistic Automata. I (and others) have developed a specification theory for Markov Chains. A specification in this theory is a model called a Constraint Markov Chain, which is essentially a underspecified Markov Chain. The Constraint Markov Chain allows for a set of Markov Chains as implementations. A goal is to present a notion of generalized model checking for Constraint Markov Chains, that is, given a Constraint Markov Chain and a boolean formula, does there exists an Markov Chain that implements the Constraint Markov Chain and in which the boolean formula is satisfied?

Current and upcoming activities

Recent activities