Program Verification & Analysis, Abstract Interpretation, Software & Database Watermarking, Formal Methods, Software Engineering
2004: M.Sc in Computer & Information Science, University of Calcutta, India .
2006: M.Tech in Computer Science and Engineering. University of Calcutta, India.
2011: PhD in Program Verification & Analysis and Abstract Interpetation. Ca' Foscari University of Venice, Italy. Title of the thesis: "Program Slicing and Watermarking in the Abstract Interpretation Framework". Advisor: Prof. Agostino Cortesi