Research Interests
My primary research interest lies in Verification. I have worked in several different projects during my undergraduate days, internships and Graduate School. Currently, my focus lies in Runtime Verification of Software Transactional Memory.
Please visit my publications page to know more about my work.
Here is my resume.