Hardware

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 5 we designed and implemented a capability-based microkernel operating system from (more or less) scratch for a multi-core microcontroller.

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