I am a first-year PhD student in computer science at UMass Amherst studying systems. I'm passionate about empowering developers to write safe and well-engineered code.

Basic info

Projects

Other projects

Awards

Production work