I am a PhD Student at Imperial College London currently being supervised by Prof. Philippa Gardner and co-supervised by Prof. José Fragoso Santos . I am a member of the Program Specification and Verification Group and my research is focused on formal and automated verification of JavaScript programs. In general, my research interests include the verification web programs, software modularity and reuse.
My CV is available here.