Frederik Baymler Mathiesen (Preferred)
Frederik Baymler Mathiesen
PhD student, Delft Center for Systems and Control, Delft University of Technology
Joined
May 2022
Names
Emails
****@baymler.com (Confirmed)
****@tudelft.nl (Confirmed)
Personal Links
Career & Education History
PhD student
Delft Center for Systems and Control, Delft University of Technology (tudelft.nl)
2021 – 2026
MS student
Department of Computer Science, Aalborg University, Aalborg University (cs.aau.dk)
2019 – 2021
Undergrad student
Department of Computer Science, Aalborg University, Aalborg University (cs.aau.dk)
2016 – 2019
Advisors, Relations & Conflicts
Expertise
Scientific machine learning
2023 – Present
Neural network barrier/Lyapunov functions
2021 – Present
Verification of neural networks
2021 – Present
Verification of stochastic systems
2021 – Present