I am a research-oriented data scientist and engineer working on forecasting, reliable AI, symbolic verification, and autonomous systems.
I am currently completing an M.Sc. in Data Science at Maastricht University. My recent work includes extending production forecasting systems at Amazon, developing an AI-assisted compliance pipeline at PwC, and building tools for static verification and maritime autonomy.
Read about my projects or view my resume.
Current work
- Static verification for PyTorch tensor programs
- LLM-assisted autonomy for surface vessels
- Research on forecasting and reliable AI systems
Elsewhere on GitHub
Most of my public code and ongoing work lives on GitHub.
The calendar is provided by a third-party image service. If it does not load, view my GitHub profile directly.