Suvam Mukherjee |
HOME | RESEARCH | RESUME | MORE |
Sonamarg, Kashmir, July 2012
Welcome to my webpage!
Suvam Mukherjee, 2013
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)