Arjun Guha

Assistant Professor

University of Massachusetts, Amherst


My research focuses on programming languages with an emphasis on security, programmability, and mechanized proof. I particularly enjoy applying programming languages techniques to various domains. For example, I'm actively working on problems in Web security and software-defined networking.

Research Group

I work with a great group of students:

We are part of the Programming Languages and Systems (PLASMA) Group, which includes several other students and faculty.

I am also part of the Frenetic and JSWebTools projects.

Prospective Students

I am always looking for students (both graduate and undergraduate) who are interested in programming languages research. I encourage you to read some of my papers and see what I like to teach. I've also written a research statement that describes some of my most recent work. If you find any of this exciting, do get in touch.

Recent News


Mailing Address
140 Governors Drive, Amherst, MA 01003
GPG Public Key
SSH Public Key