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

  • 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
    PDFPreprint PDFAppendix 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
    PDFPaper PDFExtended 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
    PDFPreprint PDFFull 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
    PDFPreprint PDFFull 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
    PDFPreprint PDFAppendix 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
    PDFPreprint
  • 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
    PDFPreprint
  • 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
    PDFPreprint

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
    PDFExtended 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
    PDFExtended abstract PDFPoster
  • Axioimatising Weighted Second-Order Logic on Finite Words
    2019-11-13. Presented at NWPT, Tallinn University of Technology
    PDFSlides
  • A Faster-Than Relation for Semi-Markov Decision Processes
    2019-04-07. Presented at QAPL, Charles University
    PDFSlides
  • A Hemimetric Extension of Simulation for Semi-Markov Decision Processes
    2018-09-05. Presented at QEST, University of the Chinese Academy of Sciences
    PDFSlides
  • Timed Comparisons of Semi-Markov Processes
    2018-04-11. Presented at LATA, Bar-Ilan University
    PDFSlides
  • Reasoning About Bounds In Weighted Transition Systems
    2017-09-18. Presented at QuantLA workshop, Altenberg
    PDFSlides
  • A Complete Approximation Theory for Weighted Transition Systems
    2015-12-01. Presented at IDEA4CPS workshop, Chinese Academy of Sciences
    PDFSlides
  • Notes on basic measure theory for computer scientists
    PDFNotes
  • PhD in Computer Science

    September 2015 - January 2019

    Aalborg University, Denmark

    Thesis supervised by Radu Mardare and Kim Guldstrand Larsen

    PDFThesis PDFSlides

  • Master of Science in Computer Science and Mathematics

    September 2013 - June 2015

    Aalborg University, Denmark

    Thesis supervised by Radu Mardare and Kim Guldstrand Larsen

    PDFThesis

  • Bachelor's degree in Computer Science and Mathematics

    September 2010 - June 2013

    Aalborg University, Denmark

    Thesis supervised by Hans Hüttel

    PDFThesis (In Danish)