I am a postdoc in theoretical computer science at Reykjavik University. I am working with Luca Aceto and Anna Ingolfsdottir on the project "Open problems in equational logic".

My primary research interests are

• Model checking and verification
• Probabilistic and stochastic systems
• Modal and temporal logics
• Bisimulation distances
• Equational logic for process algebra

Conference papers

• Luca Aceto, Elli Anastasiadi, Valentina Castiglioni, Anna Ingólfsdóttir, and Mathias Ruggaard Pedersen
  On the axiomatizability of priority III: The return of sequential composition
  In Proceedings of the 20th Italian Conference on Theoretical Computer Science pp. 145-157, ICTCS 2019, Como, Italy, September 9-11
  Link: http://ceur-ws.org/Vol-2504/paper18.pdf
  Preprint Appendix with proofs
• Mathias R. Pedersen, Giorgio Bacci, and Kim G. Larsen
  A Faster-Than Relation for Semi-Markov Decision Processes
  In Proceedings of the 16th Workshop on Quantitative Aspects of Programming Languages and Systems pp. 29-42, QAPL 2019, Prague, Czech Republic, April 7
  DOI: 10.4204/EPTCS.312.3
  Paper Extended abstract
• 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

• Antonis Achilleos and Mathias R. Pedersen
  Axiomatising Weighted Monadic Second-Order Logic on Finite Words
  NWPT 2019: Nordic Workshop on Programming Theory
  DOI: 10.23658/taltech.nwpt/2019
  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

• Axioimatising Weighted Second-Order Logic on Finite Words
  2019-11-13. Presented at NWPT, Tallinn University of Technology
  Slides
• 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