Department of Computer Science and Automation

Suvam Mukherjee
Programming Languages Laboratory
Department of Computer Science and Automation
Indian Institute of Science, Bangalore


HOME RESEARCH RESUME MORE
Please upgrade to a HTML5 compatible web browser. Recommended: Internet Explorer 9, Internet Explorer 10 or Safari 5.


Sonamarg, Kashmir, July 2012

Welcome to my webpage!
I'm a PhD student [2011-present] at the Department of Computer Science and Automation, Indian Institute of Science (IISc), Bangalore, India.

Dr Deepak D'Souza is my research advisor.

Currently, I am working on concurrent program verification. In general, I am interested in Program Analysis and Verification, and Automata Theory.

Prior to joining IISc, I completed my undergraduate (Bachelor of Technology) [2007-2011] education at the Institute of Engineering and Management, Kolkata, West Bengal, India.

Contact:
Address:
Programming Languages Laboratory,
Room 226,
Department of Computer Science and Automation,
Indian Institute of Science,
Bangalore, 560012, India.

Email:
suvam @ csa . iisc . ernet . in (without the spaces)


Suvam Mukherjee, 2013