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 Associate Professor of Computer Science at the Iowa State University where he has been since August 2005. He received his PhD in Computer Science from the University of Virginia in 2005. He received his undergraduate degree from Institute of Technology, Banaras Hindu University(IT-BHU) in 2000. Before his graduate studies at UVA, he worked for Lucent Technologies, India (Bell Labs, India) as a Member of Technical Staff. Hridesh's research interests include programming language design and implementation and software engineering. Professor Rajan is a recipient of the National Science Foundation CAREER award in 2009 and LAS Award for Early Achievement in Research in 2010. He can be reached at hridesh@iastate.edu.

Ting Zhang is an Assistant Professor in the Department of Computer Science at the Iowa State University. His research interests are in automated reasoning , and its applications in program verification and analysis. He can be reached at tingz@cs.iastate.edu.