5700 Bunkerhill Street, Apt. 1005
Wean Hall 4212
Pittsburgh, PA - 15206-1166, USA
Carnegie Mellon University
Phone: +1 (412) 661-1030
Pittsburgh, PA - 15213, USA
email: Phone: +1 (412) 268-5942
URL: Fax: +1 (412) 268-5576

Citizenship: Indian
Visa: F1 (Student)

Objective: Full-time industrial or academic researcher position.

Research Interests:

Carnegie Mellon
University (CMU)

Pittsburgh, USA
Ph.D., Computer Science
Dissertation topic: A counterexample guided abstraction
refinement framework for verifying concurrent C programs
Adviser: Prof. Edmund M. Clarke
Microsoft Graduate Student Fellow

1999 - present
Indian Institute
of Technology (IIT)
Kharagpur, India
B.Tech.(Hons.), Computer
Science & Engineering
Dissertation: Symbolic and automata-theoretic model
checking for timed abstraction of Verilog descriptions.
Advisers: Prof. P. P. Chakrabarti & Prof. P. Dasgupta
GPA: 9.82/10, President of India Gold Medal
1995 - 1999

Professional and research experience:
Invited Talks:
Awards and Honors:
Development Skills:
Publications: (Details and download at

Refereed Journal Papers
Refereed Conference and Workshop Papers
Languages: Fluent English, native Bengali speaker.

Personal Interests: Hindi and Bengali music, playing cricket, reading novels, puzzle solving.

Others available upon request.