Registered user since Wed 1 Oct 2014
Name: Hridesh Rajan
Bio: Hridesh Rajan is an associate professor of computer science at Iowa State University, where he works at the intersection of software engineering and programming languages. He leads two research projects: Panini, whose goals are to enable modular reasoning about concurrent programs, and Boa that was established in Summer 2012 as an end-to-end infrastructure for analyzing large-scale software repositories.
Country: United States
Affiliation: Iowa State University, USA
Personal website: http://www.cs.iastate.edu/~hridesh
Research interests: Modularity, Modular Reasoning, Programming Languages, Software Engineering
View general profile