Collaborating with Professor Owen Arden and peers on a novel operating system, specifically its security subsystem. I’m also researching novel ways to incorporate information flow control into OS security abstractions in order to provide expressivity and stronger security guarantees. I wrote my bachelors thesis on this topic, as well as contributing several pr’s.

If you would like to join our efforts, please dont hesitate to reach out!

Implemented a proprietary light-based networking protocol proof-of-concept using the eBPF kernel framework along with the AYA Rust Library. Also set up custom Github action runners to verify implementation with embedded hardware.

Full stack application that lets researchers and public alike exeperiment with the composition of various models and datasets in order to create pipelenes efficiently and easily; to facilitate rapid research. I worked as the lead developer responsible for technology decisions and backend development.