People
Professor

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
Teaching:
ComS 311 Introduction to Design and Analysis of Algorithms
ComS 342 Principles of Programming Languages
ComS 319 Software Construction and User Interface
ComS 412/512 Formal Methods in Software Engineering
ComS 665A Advanced Topics in Software Engineering, Foundations