Samik Basu

Samik Basu

Professor
Director of Graduate Education

Contact

sbasu@iastate.edu

+1 515 294 6045

211 Atanasoff

Ames

,

IA

50011-1041

Research Area

Software Engineering and Programming Languages

Area of Expertise

Formal Methods
Logical Modeling

Education

Ph.D., State University of New York at Stony Brook, 2003
M.S., State University of New York at Stony Brook, 2001
B.E., Jadavpur University, Kolkata, India, 1998

Visit our Formal Methods Group page.

Recent Publications

Erik Rauer, Samik Basu, Vasant G. Honavar:
Checking Consistency of CP-Theory Preferences in Polynomial Time. AAAI 2025: 15126-15133
Eshita Zaman, Christopher Johannsen, Andrew S. Miner, Gianfranco Ciardo, Samik Basu:
CTL Model Checking Partially Specified Systems. iFM 2025: 81-98
Yanhui Zhu, Samik Basu, Aduri Pavan:
Fairness in Monotone k-submodular Maximization: Algorithms and Applications. IEEE Big Data 2024: 173-178
Yanhui Zhu, Samik Basu, A. Pavan:
Regularized Unconstrained Weakly Submodular Maximization. CIKM 2024: 3537-3548
Yanhui Zhu, Samik Basu, A. Pavan:
Improved Evolutionary Algorithms for Submodular Maximization with Cost Constraints. IJCAI 2024: 7082-7090

More Publications