Department of Computer Science

Hridesh Rajan

Got a question?

Got a question or comment? Contact me at (515) 294-6168 or


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
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

Midwest Big Data Summer School

Major Awards and Honors

Former Graduate Students

Research Interests

  • Programming languages, software engineering, and compilers
  • Data science (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.