Samik Basu is a professor of computer science at Iowa State University. He received his Ph.D. in computer science from the State University of New York at Stony Brook in 2003. His research focuses on formal specification and verification of systems, and the application of logic-based techniques to address safety, security, and optimization problems for software and network-based systems. His research has been funded by several grants from the National Science Foundation. He has published over 70 research articles in major journals and conferences.