 |
Arindam Chakrabarti
 Graduate Student Computer Science Division Department of Electrical Engineering and Computer Sciences University of California at Berkeley |
Hi ! And Welcome !
I am a graduate student of Computer Science at UC Berkeley. I am interested in Formal Verification and my advisor is Prof Thomas A. Henzinger.
I was awarded the degree of Bachelor of Technology (Honours) in Computer Science and Engineering by the Indian Institute of Technology Kharagpur in May 2001. I did my undergraduate research under the guidance of Prof Pallab Dasgupta and Prof Partha Pratim Chakrabarti of the Department of Computer Science and Engineering, IIT Kharagpur.
Click here to know more about BitWISE,
the Internet based Algorithm Intensive Programming Contest organised by the Department of Computer Science
and Engineering, IIT Kharagpur.
Projects:
CHIC:
Checker for
Interface Compatibility
Presentations:
- Web Service Interfaces (WWW 2005) PS PDF.
- Resource Interfaces (EMSOFT 2003) PS PDF.
- Interface Compatibility Checking for Software Modules (CAV
2002) PS
PDF.
Contact Information:
Office:
545 N Cory Hall
Department of Electrical Engineering and
Phone: +1-510-642-6426
Email: a r i n d a m AT c s
DOT berkeley
DOT edu