Department of Computer Science

Laboratory for Formal Languages And VERification (FLAVER)

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-2009). $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).
Interactive and Verifiable Composition of Web Services To Satisfy End-User Goals . PI: Samik Basu, Co-PI: Robyn Lutz and Vasant Honavar. (2007-2010). $347,000.

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)

Center for Information Protection: Intrusion Detection and Response Systems. PI: Johnny Wong, Co-PI: Samik Basu. (2007)

Rockwell Collins: Addressing Resource Allocation Problem in Software Design. PI: Samik Basu, Co-PI: Andrew Miner and Johnny Wong. (2007)