I am a 4th year doctoral student at the University of Pennsylvania. I seek to answer the question "How can we improve software systems in terms of programmer productivity, maintainability, correctness, and security?" My research interests lie somewhere in the intersection of systems programming, operating systems, software engineering, and programming languages. I love programming in Rust!