I am a PhD student in theoretical computer science at Aalborg University in the Distributed, Embedded, and Intelligent Systems research group. My supervisors are Radu Mardare and Kim Guldstrand Larsen.

My primary research interests are

• Model checking and verification
• Probabilistic and stochastic systems
• Modal and temporal logics
• Bisimulation distances

Currently I am working on how to relate continuous-time probabilistic processes with respect to their timing behaviour. Such relations should intuitively allow us to say that one process is "faster than" another process. Furthermore, when a process A is not faster than another process B, we would like to be able to quantify how much faster we would need to make the process A in order for it to be faster than B. Another important part of this work is the compositional aspect. When working with real-time systems, it has long been known that a local increase in speed can sometimes lead to a global decrease in speed, and this is known as a timing anomaly. Hence, it is important to investigate what happens when a slow component is replaced by a faster component, and how we can guarantee that this will not lead to a timing anomaly.

Conference papers

• Mathias R. Pedersen, Giorgio Bacci, Kim G. Larsen, and Radu Mardare
  A Hemimetric Extension of Simulation for Semi-Markov Decision Processes
  In Proceedings of the 15th International Conference on Quantitative Evaluation of Systems pp. 339-355, QEST 2018, Beijing, China, September 4-7
  DOI: 10.1007/978-3-319-99154-2_21
  Preprint Full version with proofs
• Mathias R. Pedersen, Nathanaël Fijalkow, Giorgio Bacci, Kim G. Larsen, and Radu Mardare
  Timed Comparisons of Semi-Markov Processes
  In Proceedings of the 12th International Conference on Language and Automata Theory and Applications pp. 271-283, LATA 2018, Ramat Gan, Israel, April 9-11
  DOI: 10.1007/978-3-319-77313-1_21
  Preprint Full version
• Mikkel Hansen, Kim G. Larsen, Radu Mardare, Mathias R. Pedersen, and Bingtian Xue
  A Complete Approximation Theory for Weighted Transition Systems Contains significant errors, see the corrected version.
  In Proceedings of the Second International Symposium on Dependable Software Engineering: Theories, Tools, and Applications pp. 213-228, SETTA 2016, Beijing, China, November 9-11
  DOI: 10.1007/978-3-319-47677-3_14
  Preprint Appendix with proofs

Journal papers

• Mikkel Hansen, Kim G. Larsen, Radu Mardare, and Mathias R. Pedersen
  Reasoning About Bounds in Weighted Transition Systems
  In Logical Methods in Computer Science, LMCS, volume 14, issue 4
  DOI: 10.23638/LMCS-14(4:19)2018
  Preprint

Informal publications

• Mathias R. Pedersen, Giorgio Bacci, and Kim G. Larsen
  A Faster-Than Relation for Semi-Markov Decision Processes
  QAPL 2019: Quantitative Aspects of Programming Languages
  Extended abstract
• Mathias R. Pedersen, Nathanaël Fijalkow, Giorgio Bacci, Kim G. Larsen, and Radu Mardare
  Comparing the speed of probabilistic processes
  PPS 2018: Probabilistic Programming Languages, Semantics, and Systems
  Extended abstract Poster

• A Faster-Than Relation for Semi-Markov Decision Processes
  2019-04-07. Presented at QAPL, Charles University
  Slides
• A Hemimetric Extension of Simulation for Semi-Markov Decision Processes
  2018-09-05. Presented at QEST, University of the Chinese Academy of Sciences
  Slides
• Timed Comparisons of Semi-Markov Processes
  2018-04-11. Presented at LATA, Bar-Ilan University
  Slides
• Reasoning About Bounds In Weighted Transition Systems
  2017-09-18. Presented at QuantLA workshop, Altenberg
  Slides
• A Complete Approximation Theory for Weighted Transition Systems
  2015-12-01. Presented at IDEA4CPS workshop, Chinese Academy of Sciences
  Slides

• Notes on basic measure theory for computer scientists
  Notes

• PhD in Computer Science

  September 2015 - January 2019

  Aalborg University, Denmark

  Thesis supervised by Radu Mardare and Kim Guldstrand Larsen

  Thesis Slides

• Master of Science in Computer Science and Mathematics

  September 2013 - June 2015

  Aalborg University, Denmark

  Thesis supervised by Radu Mardare and Kim Guldstrand Larsen

  Thesis

• Bachelor's degree in Computer Science and Mathematics

  September 2010 - June 2013

  Aalborg University, Denmark

  Thesis supervised by Hans Hüttel

  Thesis (In Danish)

• Detailed CV

  CV

• Me on dblp
• Me on Google Scholar