Write a Blog >>
Arjun Guha

Registered user since Fri 10 Apr 2015

Name:Arjun Guha

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


Show activities from other conferences

POPL 2016-profile
View general profile