I am a post-doc researcher at Imperial College London. I am affiliated with Software Reliability Group (SRG) and Multicore Programming Group . I am working with Cristian Cadar and Alastair F. Donaldson. I obtained my Ph.D. from IIT Bombay, India in 2018 under the supervision of Uday P. Khedker.

My research interest is in the area of programming languages. I have worked on pointer analysis. My Ph.D. work is based on making interprocedural analysis efficient without compromising on precision. More details can be found here. My work at Imperial College focusses on efficient bug detection by combining static analysis and dynamic symbolic execution. More details can be found here.

Here is my CV.

My Ph.D. Thesis.


Publications:


Contact Info:

email: p.gharat ((at)) imperial.ac.uk