Frederik Baymler Mathiesen

Department of Computer Science

University of Oxford

Frederik is a Research Associate at Department of Computer Science, University of Oxford under the supervision of Prof. Alessandro Abate. Frederik completed his PhD in 2026 at Delft Center for Systems and Control (DCSC), TU Delft, supervised by Dr. Luca Laurenti and Dr. Simeon Calvert. His research lies at the intersection of formal methods, learning-enabled systems, and cyber-physical systems (CPS), with a focus on providing rigorous correctness and guarantees for autonomous and safety-critical systems.

news

Sep 24, 2026	Paper accepted at NeurIPS
May 25, 2026	PhD defense on safety verification of discrete-time stochastic systems
May 20, 2026	New journal and conference paper acceptances
Dec 15, 2025	Jeroen Hagenus receives TU Delft Best MSc Thesis with AI Award

selected publications

Automatica

A data-driven approach for safety quantification of non-linear stochastic systems with unknown additive noise distribution

Frederik Baymler Mathiesen, Licio Romao, Simeon C. Calvert, and 2 more authors

Automatica, 2026

arXiv Bib

@article{mathiesen2026datadriven,
  title = {A data-driven approach for safety quantification of non-linear stochastic systems with unknown additive noise distribution},
  author = {Mathiesen, Frederik Baymler and Romao, Licio and Calvert, Simeon C. and Laurenti, Luca and Abate, Alessandro},
  journal = {Automatica},
  year = {2026},
}

L-CSS

Safety certification for stochastic systems via neural barrier functions

Frederik Baymler Mathiesen, Simeon C. Calvert, and Luca Laurenti

IEEE Control Systems Letters, 2022

DOI Bib Code

@article{mathiesen2022safety,
  title = {Safety certification for stochastic systems via neural barrier functions},
  author = {Mathiesen, Frederik Baymler and Calvert, Simeon C. and Laurenti, Luca},
  journal = {IEEE Control Systems Letters},
  volume = {7},
  pages = {973--978},
  year = {2022},
  doi = {10.1109/LCSYS.2022.3229865},
}

HSCC

Scalable control synthesis for stochastic systems via structural IMDP abstractions

Frederik Baymler Mathiesen, Sofie Haesaert, and Luca Laurenti

In Proceedings of the 28th ACM International Conference on Hybrid Systems: Computation and Control (HSCC), 2025

DOI arXiv Bib Code

@inproceedings{mathiesen2025scalable,
  title = {Scalable control synthesis for stochastic systems via structural {IMDP} abstractions},
  author = {Mathiesen, Frederik Baymler and Haesaert, Sofie and Laurenti, Luca},
  booktitle = {Proceedings of the 28th ACM International Conference on Hybrid Systems: Computation and Control (HSCC)},
  pages = {1--12},
  year = {2025},
  doi = {10.1145/3716863.3718031},
}

ADHS

IntervalMDP.jl: Accelerated Value Iteration for Interval Markov Decision Processes

Frederik Baymler Mathiesen, Morteza Lahijanian, and Luca Laurenti

In 2024 Analysis and Design of Hybrid Systems (ADHS), 2024

Young Author Award Finalist DOI Bib Code

Young Author Award Finalist

@inproceedings{mathiesen2024intervalmDP,
  title = {{IntervalMDP.jl}: Accelerated Value Iteration for Interval Markov Decision Processes},
  author = {Mathiesen, Frederik Baymler and Lahijanian, Morteza and Laurenti, Luca},
  booktitle = {2024 Analysis and Design of Hybrid Systems (ADHS)},
  year = {2024},
  doi = {10.1016/j.ifacol.2024.07.416},
  publisher = {IFAC},
}