|Allen Center 560|
My research interests are in building secure and reliable systems. Recently, I'm involved in the SandCat project to explore software adaptation and formal verification. Past projects include the Stack undefined behavior checker and the Jitk verified in-kernel interpreter. See my recent papers on the publications page and my pre-UW papers here.