Laboratory for Formal Languages And VERification (FLAVER)

Samik Basu is an Assistant Professor in the Department of Computer Science at the Iowa State University. His research interests are include model checking, open system verification, program verification and counter-example analysis. Recently, he has also been involved in projects on the application of formal methods (logic, automata) in intrusion detection, discrete event controllers and Web services. He can be reached at sbasu@cs.iastate.edu.

Andrew Miner is an Associate Professor in the Department of Computer Science at the Iowa State University. His research interests are in performance and reliability analysis, model checking and compact data stuctures. He can be reached at asminer@cs.iastate.edu.

Hridesh Rajan is an Assistant Professor in the Department of Computer Science at the Iowa State University. His research interests are in software engineering, programming language design and implementation, and mobile ad hoc and sensor networks. He can be reached at hridesh@cs.iastate.edu.