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

Research

What are you working on?
I am presently working on verifying concurrent programs.
This is a joint work with Dr. Deepak D'Souza (CSA, IISc) and Dr. Nishant Sinha (IBM India Research Labs).

Suvam Mukherjee, 2013