Hi, I'm Leon!

I'm a PhD student in Computer Science at Princeton University, advised by Amit Levy in the SNS Research Group. I build software. Sometimes hardware. And occasionally other things.

Here are some things I've worked on:

In my free time, I like to contribute to the Tock embedded operating system. It features quite a few interesting concepts and targets microcontrollers with upwards of 64kB RAM. It works on ARM Cortex-M and RISC-V platforms. You should go check it out!
To develop FPGA designs I'm using LiteX, a free and open system-on-chip framework. Over the course of previous projects, I helped integrate a 10 Gigabit Ethernet datapath in the LiteEth IP core and added support for XGMII-interfaced PHYs.
My Linux distribution of choice is NixOS. It's a great fit for desktop and server systems alike! When I see that things are missing or don't work, I occasionally send a pull request.

Whenever there's time, I like to tinker with electronics, networking hardware and servers. I'm especially interested in applications of the Rust programming language, for example in embedded systems. My main area of interest is developing secure, interconnected embedded systems.

News:

Oct 2023: I am presenting Encapsulated Functions at the 1st Workshop on Kernel Isolation, Safety and Verification, co-located with SOSP'23 in Koblenz, Germany. In this work we explore safety issues around the Rust Foreign Function Interface (FFI), and how we can mitigate them in the context of embedded systems. I will also be presenting a poster on this work.