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.


  • Nimish Gupta (MS, now at Amazon)
  • Akshay Gadre (undergrad, now at Carnegie Mellon)
  • Jane Tangen (undergrad)
  • Aaron Weiss (undergrad, NSF Fellow)

Recent News


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