People
Professor
Director of Graduate Education
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