I am a Research Engineer at Rice University working with Dr. Lin Zhong at Yale University.
My latest research focuses on Theseus, an operating system we wrote from scratch in Rust to rethink OS structure and state management, and to shift OS responsibilities into the compiler.