Write a Blog >>
Arjun Guha

Registered user since Fri 10 Apr 2015

Name: Arjun Guha

Bio: 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.

Affiliation: University of Massachusetts, Amherst

Personal website: https://people.cs.umass.edu/~arjun/home/

POPL 2016 Activities

POPL 2016-profile
View general profile