Hridesh Rajan
University/Research Lab: Iowa State University
Location: (Ames, IA)
Personal Research Web Page: http://www.cs.iastate.edu/~hridesh
Keywords: concurrent programming language features, modularity, modular reasoning and understanding, advanced separation of concerns, programming language design, semantics, implementation, and optimization
Location: (Ames, IA)
Personal Research Web Page: http://www.cs.iastate.edu/~hridesh
Keywords: concurrent programming language features, modularity, modular reasoning and understanding, advanced separation of concerns, programming language design, semantics, implementation, and optimization
Posted on: Thursday, May 5th, 2011
Broad Research Area: Programming Languages / Compilers, Software Engineering
Research Interests:
Several ongoing projects on programming language designs for improving modularity, concurrency, and verifiability that range from language theory to rigorous empirical evaluation of programming language designs to code generation and optimization to program verification. A broad range of expertise is available in our research group in both programming languages/compilers/virtual machines and in software engineering.
Contact Information:
Best way to reach me is via e-mail: email obfuscated - click to reveal
Second best method is via telephone: +1-515-294-6168
