I have received Ph.D. degree in Computer Science from Ca’ Foscari University of Venice (Italy) in 2012. I was the recipient of “Italian Ministry of Education, Universities and Research (MIUR)” fellowship. After completion of my Ph.D., I worked at Macquarie University (Sydney, Australia) as Post-doctoral Researcher and then joined Indian Institute Technology (Patna, India) as Assistant Professor. My research at HasLab focuses on formal analysis and verification of safety and security properties. In general, my research interests include Abstract Interpretation, Model Checking, Program Analysis and Verification, etc.