Samik Basu

People
Professor
Samik Basu

My main research is in the area of verification and model checking. I have been involved in projects on security/intrusion-detection, AI/preference reasoning, network-science/information diffusion.

Visit our Formal Methods Group page.

DBLP Entries; Complete list of Publications
 

Area of Expertise: 
Formal Methods
Model Checking
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
Contact
+1 515 294 6045