Thank you for visiting my home page. I am Santhosh Prabhu M, a Research Consultant in the Computer Science and Engineering department at Indian Institute of Technology Kharagpur.
I am working in the FormalV group, under Dr. Pallab Dasgupta. More information on the formal verification research at IIT Kharagpur is available here