I recently finished my Computer Science master at the TU Delft, where I specialized in the following fields:
- Algorithmics 🧩, satisfying my love for puzzles and problem-solving;
- Programming Languages 🧮, one of the most inherently mathematical fields in Computer Science;
- Quantum Computer Science ⚛️, where Computer Science meets my secret love for Physics.
My master thesis merged two of these fields, namely Algorithmics and Programming Languages, by performing program synthesis with E-Graphs. A promising approach for improving efficiency during synthesis.
Previously, I explored this intersection in my bachelor's project PatternPal, a Visual Studio extension that detects design patterns.
I am fascinated by the differences between programming languages, especially how their unique features help to solve different problems. For example, I love Rust’s emphasis on memory safety without a garbage collector, Haskell's strong type system and functional purity, and Python’s simplicity and readability.
Embedded programming is a hobby of mine, where low-level programming meets hardware. I satisfy this hobby by developing a satellite with Da Vinci Satellite, and with personal projects like this smart clock.