Frederik Mathiesen
PHD Candidate
Delft, South Holland, Netherlands
Summary
👤
Senior🎓
Top SchoolFrederik Mathiesen is a PhD candidate at TU Delft specializing in formal methods and probabilistic machine learning to provide safety guarantees for tactical and operational planning in automated vehicles. With a decade of engineering experience and a background from Aalborg University and UC Berkeley, he blends rigorous academic research with hands-on product development. Previously at Ambolt he built the first iteration of TrafficTower and integrated prioritization with IntelliFlow’s optimization, demonstrating skill in real-time systems, cartography, and traffic-AI pipelines. His work focuses on provable, high-confidence assurances in dynamic, unpredictable environments—aiming to make safety both measurable and scalable for real-world deployment. An uncommon strength is his ability to bridge formal verification techniques with practical, production-grade tooling for traffic management and autonomy.
10 years of coding experience
3 years of employment as a software developer
Master's degree, Computer Science, Master's degree, Computer Science at Aalborg UniversityComputer Science, Computer Science at University of California, BerkeleyHTX, Fysikkens Verden, Gymnasiel Uddannelse, HTX, Fysikkens Verden, Gymnasiel Uddannelse at Aalborg Teknisk Gymnasium10. klasse, IGCSE, 10. klasse, IGCSE at SKALs EfterskoleBachelorgrad, Datalogi, Bachelor, Bachelorgrad, Datalogi, Bachelor at Aalborg Universitet
Danish, English, German
Github Skills (99)
polygons10
adversarial-learning10
convex-hull10
transparency10
django9
sum9
polyhedra9
julia9
python9
robustness9
gpu9
der9
calculus9
crossword9
bitcoin9
Programming languages (12)
Github contributions (5)
Zinoex/IntervalMDP.jl
Jan 2024 - Mar 2025
GPU-accelerated value iteration for Interval Markov Decision Processes
Contributions:4 reviews, 53 PRs, 229 pushes in 1 year 2 months
formalimdp
Zinoex/zinoex.github.io
Apr 2017 - Nov 2021
Contributions:7 pushes, 1 branch in 4 years 7 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.