· PROFILE ·

Sukriti Bhattacharya, PhD
Postdoctoral Fellow
Faculty
bhattacharya.sukriti@gmail.com

Expertise Areas:
Program Verification & Analysis, Abstract Interpretation, Software & Database Watermarking, Formal Methods, Software Engineering
Research Projects:

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