Arjun Guha

Assistant Professor

University of Massachusetts, Amherst


My research applies ideas from programming languages to tackle problems in web security, network programming, and system configuration management.

Recent News

  • SRTR will appear at IJCAI-ECAI 2018 with a demo at AAMAS (May 2018).
  • Stopify will appear at PLDI 2018 (April 2018).
  • Tortoise presented at ASE 2017 (October 2017).
  • NSF Award on system configuration verification (May 2017).

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. If you find any of this exciting, do get in touch.


  • Rachit Nigam (undergrad → PhD student at Cornell)
  • Nicole Andrews (undergrad)
  • Harsh Poddar (undergrad → Facebook)
  • Aaron Weiss (undergrad, NSF Fellow → PhD student at Northeastern)
  • Jane Tangen (undergrad)
  • Akshay Gadre (undergrad → PhD student at Carnegie Mellon)
  • Nimish Gupta (MS → Amazon)


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