I am a post-doc researcher at Imperial College London. I am affiliated with Large-Scale Data System Group (LSDS) and Multicore Programming Group. I am working with Jana Giceva 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 static analysis of programs. So far, 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.

Here is my CV.

My Ph.D. Thesis.


Contact Info:

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