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