Suresh Jagannathan

Registered user since Thu 17 Jul 2014

Name:Suresh Jagannathan
Country:United States
Affiliation:Purdue University
Research interests:Program Verification, Functional Programming, Concurrent and Distributed Systems, Compilers, Type Systems

Contributions