I am a third-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