I am a researcher and software developer with experience in formal verification and mathematical modelling of systems. I have a deep interest in the theoretical underpinnings of computer science, but I also have practical experience with software development and projects.

Conference papers

• Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Anna Ingolfsdottir, Karoliina Lehtinen, and Mathias Ruggaard Pedersen
  On Probabilistic Monitorability
  In Principles of Systems Design - Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday
  10.1007/978-3-031-22337-2_16
  Preprint
• Antonis Achilleos and Mathias Ruggaard Pedersen
  Axiomatizations and Computability of Weighted Monadic Second-Order Logic
  In Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021, online conference, June 29-July 2
  10.1109/LICS52264.2021.9470615
  Preprint Full version
• Luca Aceto, Valentina Castiglioni, Anna Ingólfsdóttir, Bas Luttik, and Mathias Ruggaard Pedersen
  On the Axiomatisability of Parallel Composition: A Journey in the Spectrum
  Best paper nomination
  In Proceedings of the 31st International Conference on Concurreny Theory pp. 18:1-18:22, CONCUR 2020, online conference, September 1-4
  10.4230/LIPIcs.CONCUR.2020.18
  Paper
• 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
  http://ceur-ws.org/Vol-2504/paper18.pdf
  Preprint Appendix with proofs
• Mathias Ruggaard Pedersen, Giorgio Bacci, and Kim Guldstrand 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
  10.4204/EPTCS.312.3
  Paper Extended abstract
• Mathias Ruggaard Pedersen, Giorgio Bacci, Kim Guldstrand 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
  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
  10.1007/978-3-319-77313-1_21
  Preprint Full version
• Mikkel Hansen, Kim Guldstrand Larsen, Radu Mardare, Mathias Ruggaard 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
  10.1007/978-3-319-47677-3_14
  Preprint Appendix with proofs

Journal papers

• Luca Aceto, Valentina Castiglioni, Anna Ingólfsdóttir, Bas Luttik, and Mathias R. Pedersen
  On the Axiomatisability of Parallel Composition
  In Logical Methods in Computer Science LMCS, volume 18, issue 1
  10.46298/lmcs-18(1:15)2022
  Preprint
• Luca Aceto, Elli Anastasiadi, Valentina Castiglioni, Anna Ingólfsdóttir, Bas Luttik, and Mathias Ruggaard Pedersen
  On the axiomatisability of priority III: Priority strikes again
  In Theoretical Computer Science TCS, volume 837, pp. 223-246
  10.1016/j.tcs.2020.07.044
  Preprint
• Mikkel Hansen, Kim Guldstrand Larsen, Radu Mardare, and Mathias Ruggaard Pedersen
  Reasoning About Bounds in Weighted Transition Systems
  In Logical Methods in Computer Science LMCS, volume 14, issue 4
  10.23638/LMCS-14(4:19)2018
  Preprint

Informal publications

• Antonis Achilleos and Mathias Ruggaard Pedersen
  Axiomatising Weighted Monadic Second-Order Logic on Finite Words
  NWPT 2019: Nordic Workshop on Programming Theory
  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)