Projects

My master’s thesis: integrating Google’s XLS into the Dynamatic high-level synthesis compiler, so a dynamically scheduled circuit can contain statically scheduled islands.

Implementing and evaluating memory partitioning schemes in the LLVM-based Dynamatic high-level synthesis compiler.

In a group of 4 we wrote and progressively optimised a social force crowd simulation in C, tuning it for vectorisation, cache locality and raw throughput.

In a group of 5 we designed and implemented a capability-based microkernel operating system from (more or less) scratch for a multi-core microcontroller.

In a group of 5 we implemented and analysed multiple variants of the revised simplex algorithm on an NVIDIA GPU in C++.

A fuzzer for SQLite built in a team of two in Rust, paired with a query minimiser that reduces every crashing input to a readable test case.

Using the YOLO object-detection model to locate global mining activity from Sentinel-2 satellite imagery.

A retrieval-augmented generation system over publicly available Swiss legislation and case law, built as the capstone project for an applied ML course.

A pipeline that generates and auto-grades randomised exercises for an ETH continuing-education course, delivered straight into Moodle.

My bachelor thesis: integrating a microcontroller with a browser-based Python learning platform, so students can program real hardware from a browser tab.

In a team of two we implemented and analysed a parallel particle swarm optimizer for finding minima of continuous functions in Rust.

Implementing a compiler for a C-like language from lexer to final assembly using OCaml.

A cross-platform flat-management app designed, built and user-tested by a team of five for the Human Computer Interaction course.

A QUIC/TCP-style reliable transport protocol implemented from scratch over UDP in C, with its own connection handling and congestion control.