Research Interests
I am a systems researcher interested in operating systems, state management, compiler safety, and software architecture. I'm currently working on Theseus OS, which I've written from scratch in Rust to rethink OS structure, state management, and the fundamental division of responsibilities between the OS and compiler. Our primary goals in Theseus are to enable easy, efficient, and arbitrary runtime evolvability (e.g., live update) and availability without redundancy (fault recovery). One key to realizing this is that any part of the system, even core kernel components, can be arbitrarily reconfigured or replaced at runtime without rebooting.In the past I have worked on virtual reality, mobile devices, I/O virtualization, multiscreen streaming frameworks, static analysis of device drivers, software engineering tools for change impact analysis, and novel debugging procedures for mobile robotics.