CV

Contact Information

Name Frederik Baymler Mathiesen
Professional Title PhD Candidate in Systems and Control
Email frederik@baymler.com

Professional Summary

PhD researcher at the Delft Center for Systems and Control, TU Delft. Research interests: formal methods for dynamical systems, AI safety and verification, scientific machine learning.

Experience

  • 2021 - present

    Delft, the Netherlands

    Doctoral Researcher
    Delft Center for Systems and Control, TU Delft
    • Safety verification of stochastic systems
    • Barrier functions and finite-state abstractions
    • Neural network verification
  • 2017 - 2021

    Aalborg, Denmark

    Software Developer
    Ambolt AI ApS
    • Real-time traffic light optimization

Education

  • 2021 - 2026

    Delft, the Netherlands

    PhD
    Delft University of Technology
    Systems and Control
    • Dissertation: Safety Verification of Discrete-time Stochastic Systems.
    • Supervisors: Dr. Luca Laurenti (DCSC, TU Delft), Dr. Simeon C. Calvert (Transport & Planning, TU Delft), and Dr. Manuel Mazo Espinosa (DCSC, TU Delft).
    • Awarded Dutch Institute for Systems and Control (DISC) certificate.
  • 2019 - 2021

    Aalborg, Denmark

    MSc
    Aalborg University
    Computer Science
    • Thesis: A Deep Learning Method for Numerically Solving Initial Value Problems of Hamiltonian Systems.
    • Supervisors: Bin Yang and Jilin Hu, Department of Computer Science, Aalborg University.
  • 2016 - 2019

    Aalborg, Denmark

    BSc
    Aalborg University
    Computer Science
  • 2013 - 2016

    Aalborg, Denmark

    A-levels
    Aalborg Tekniske Gymnasium
    • Physics, Mathematics, English, Electrical Engineering, and Danish.

Teaching

  • Teaching Assistant — Control Theory - Delft University of Technology
    2021 - 2024
    • Prepared and hosted tutorial sessions for ~100 students
    • Updated course materials (code examples and exercises)
    • Designed and graded exam questions
    • Topics: linear time-invariant systems, state space methods, controllability, observability, optimal control
  • MSc/BSc Thesis Supervisor - Delft University of Technology
    2023 - 2025
    • Supervised groups of undergraduate students for AI minor final projects
    • Supervised individual MSc students for thesis projects

Awards

  • 2024
    Young Author Award Finalist
    Analysis and Design of Hybrid Systems (ADHS) 2024

    For the paper “IntervalMDP.jl: Accelerated Value Iteration for Interval Markov Decision Processes”, F. B. Mathiesen, M. Lahijanian, and L. Laurenti.

  • 2024
    Outstanding TA Award
    Delft Center for Systems and Control

    For the course “Control Theory”.

Funding

  • SIGBED Student Travel Award (CPS-IOT Week)
    2025
  • ADHS Student Travel Grant
    2024
  • American Control Conference Student Travel Grant
    2022
  • Nvidia Academic Hardware Grant
    2022
  • Spar Nord Foundation Fintech Scholarship
    2020

Professional Memberships

  • IEEE incl. IEEE Control Systems Society
    2022 - present
  • Association of Computing Machinery (ACM)
    2024 - present

Reviewing

  • Conferences
    • CAV 2026
    • CDC 2026, 2025, 2024, 2023
    • ECC 2026, 2025
    • HSCC 2026
    • HSCC Repeatability Evaluation 2026, 2025, 2024
    • ICML 2025
    • ICTAI 2025
    • IFAC WC 2026
    • ITSC 2026
    • L4DC 2025, 2024
  • Journals
    • JAIR 2026, 2025
    • Automatica 2026, 2025
    • IEEE Transactions on Automatic Control 2025
    • IEEE Control Systems Letters 2026, 2025, 2023
    • Artificial Intelligence 2022