معرفی
Samik Basu is a Professor and Director of Graduate Education in the Department of Computer Science at Iowa State University. His research focuses on formal methods, software engineering, and computer security. He holds a Ph.D. from Stony Brook University (2003), an M.S. from Stony Brook (2001), and a B.E. from Jadavpur University (1998).
Research Interests:
- Formal Verification and Model Checking
- Submodular Optimization and Algorithm Design
- Qualitative Preference Reasoning
- Web Services Composition and Security
- Autonomous Systems and Control Theory
His recent work emphasizes submodular maximization algorithms, preference-based decision systems, and formal methods for safety-critical systems. Key grants include NSF awards IIS 225823, CCF 1555780, and others. He advises a diverse group of graduate students in the Formal Methods Group, focusing on projects like intrusion response systems, neural network verification, and multi-stakeholder preference analysis.
Students advised include PhD candidates like Erik Rauer and Yanhui Zhu, along with numerous MS/BS researchers. His lab has published extensively in top venues like AAAI, IJCAI, and IEEE conferences.
