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

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:
On Sufficient Conditions for Consistency Checking in CP-theory Preferences. KR 2026
Liwen Wang, Erik Rauer, Samik Basu:
Ranked Convictions: Multi-agent Qualitative Preference Reasoning. KSEM (5) 2026: 309-319
Le Chang, Saitej Yavvari, Rance Cleaveland, Samik Basu, Runzhou Tao, Liyi Li:
DisQ: A Model of Distributed Quantum Processors. 2026: 25-47
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

More Publications