Arjun Guha is an associate professor of Computer Science at UMass Amherst. Using the tools and principles of programming languages, he enjoys making software more secure and more reliable in a variety of domains, including systems, networking, robotics, and web programming. He received a PhD in Computer Science from Brown University in 2012 and a BA in Computer Science from Grinnell College in 2006.