Department of Computer Science

Laboratory for Software Design

Index

Quick Links

Got a question?

Got a question or comment? Contact us at (515) 294-6168 or hridesh@cs.iastate.edu.

Funding

We are thankful to our sponsors for providing funding for our research projects.

Our research activites are partially supported by the National Science Foundation (NSF) under the following grants

CT-ISG: Specification and Verification Challenges for Security Protocols in Sensor Networks. PI: Hridesh Rajan and Co-PI: Wensheng Zhang. (2007-2010). $349,999.
Collaborative Research: A JML Community Infrastructure -- Revitalizing Tools and Documentation to Aid Formal Methods Research. PI: Gary T. Leavens, Co-PI: Hridesh Rajan, and Co-PI: Samik Basu (2007-2010).

Our research activities are also partially supported by a generous startup grant from the Department of Computer Science, Iowa State University to Hridesh Rajan. (2005-2007)

Center for Information Protection: Bootstrapping trust in service-oriented architectures. PI: Hridesh Rajan. (2006-2007)