SAMIK BASU

Assistant Professor Department of Computer Science Iowa State University 210 Atanasoff Hall Ames, IA 50011-1040 Phone: 515-294-6045 Fax: 515-294-0258 E-mail: (sbasu@cs.iastate.edu) Schedule: Google Calendar

Education

• PhD (Aug 2003) State University of New York, Stony Brook
• MS (Dec 2001) State University of New York, Stony Brook
• BE (Aug 1998) Jadavpur University, India

Research

Complete list of Publications and CV.

My main research interests include model checking, open system verification, program verification and counter-example analysis. I have been involved in projects on the application of formal methods in intrusion detection, control of discrete event systems, Web services, and software product-line verification .

Some of my recent publications:

1. Jyotishman Pathak, Samik Basu and Vasant Honavar
   Composing Web Services through Automatic Reformulation of Service Specifications. IEEE International Conference on Services Computing 2008.
   


2. Saayan Mitra, Ratnesh Kumar and Samik Basu
   Optimum Decentralized Choreography for Web Service Composition. IEEE International Conference on Services Computing 2008.
   


3. Ganesh Ram Santhanam, Samik Basu and Vasant Honavar
   On Utilizing Qualitative Preferences in Web Service Composition: A CP-net Based Approach. Workshop on Service Composition and Adaptation held in conjunction with IEEE International Conference on Services Computing 2008.
   


4. Roopak Sinha, Partha S. Roop, Samik Basu and Zoran Salcic
   A Module Checking Based Converter Synthesis Approach for SoCs IEEE Conference on VLSI Design 2008.
   

Current Students:
Ru He (PhD, Probabilistic Model Checking)
Junaid Babar (PhD)
Zachary Oster (MS)
Saayan Mitra (PhD, Automata-theoretic Approach to Web Service Composition)
Michelle Ruse (PhD)

Past Students:
Lucas Witt (MS, 2008, Authenticated Authorization without Identification: A Formal Approach)
Natalia Stakhanova (PhD, 2007, Adaptive, Cost-Sensitive Intrusion Detection and Response System)
Curt Keller (MS, 2005, Tool for Verification and Counterexample Analysis of sequential C programs)

Events

• CFP: EURASIP Journal of Embedded System Formal Techniques for Embedded Systems Design and Validation
• Workshop on Service Composition and Adaptation (WSCA-2008) in conjunction with the IEEE International Conference on Services Computing (SCC-2008)
• International Workshop on Discrete Event Systems (WODES-2008)
• Workshop on Service Composition & Adaptation (WSCA-2007) in conjunction with the IEEE International Conference on Web Services (ICWS-2007).
• Formal Foundations of Embedded Software and Component-Based Software Architectures (FESCA-2007) satellite workshop of ETAPS.

Teaching

• ComS 319 Software Construction: Fall 2008, Fall 2007, Fall 2006, Fall 2005
• ComS 512 Formal Methods in Software Engineering: Spring 2008, Spring 2007, Spring 2006, Spring 2005
• Seminar on Semantic Web and Service Composition: Summer 2008, Spring 2008, Fall 2007
• ComS 227 Introduction to Object-oriented Programming: Spring 2006
• ComS 228 Introduction to Data Structures using C++: Spring 2004

Misc

• CS Colloqium
• Logic programming with tabling: XSB
• Logic-based model checking project at State University of New York, Stony Brook: LMC-SUNYSB
• Software Engineering Conferences maintained by Tao Xie
• Formal Methods and Software Technology Conferences maintained by Department of Information Technology, Uppsala University
• Calcutta/Kolkata, South Point High School, Calcutta, Jadavpur University

---