Department of Computer Science

Laboratory for Formal Languages And VERification (FLAVER)

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.


National Science Foundation

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


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

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)