Department of Computer Science,
Software Engineering Program,
Information Assurance Program, and
Human Computer Interaction (HCI) Program
Iowa State University
226 Atanasoff Hall, Ames, IA, 50011

phone: +1-515-294-6168
email: hridesh@iastate.edu
office: 105 Atanasoff Hall

Ph.D., The University of Virginia, 2005
M.S., The University of Virginia, 2004
B.Tech., Indian Institute of Technology (BHU), 2000

Laboratory for Software Design


  • My research interest spans following areas.
    • Modularity, modular reasoning
    • Programming languages, software engineering, and compilers
    • Data driven sciences (also popularly known as Big Data), especially software engineering of Big Data software.
    • Concurrency, especially modular reasoning about concurrency correctness and performance. Scalable support for modular verification of concurrency properties in compilers.
    • Advanced separation of concerns mechanisms such as events, reactive signals, and aspects and modular reasoning about such mechanisms.
  • I direct the Laboratory for Software Design in the department of computer science. Our main projects are Boa that is investigating shared infrastructures for data driven science, and Panini that is investigating programming abstractions for concurrency that also enable modular reasoning about concurrency properties. This year we have also organized the Inaugural Midwest Big Data Summer School. For more details see my lab's page on projects, publications, students, and funding.


Major Awards and Honors

Former Graduate Students

Key Projects

Midwest Big Data Summer School   Boa Project   Panini Project