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-deﬁned networking.
Affiliation: University of Massachusetts, Amherst
Personal website: https://people.cs.umass.edu/~arjun/home/
POPL 2016 Activities
View general profile