Srobona Mitra did her B.E. and M.Tech. in Comp. Sc. & Engg. from Jadavpur University, Kolkata in 2004 and Indian Institute of Technology Kharagpur, Kharagpur in 2006 respectively. She is now pursuing PhD in the Comp. Sc. & Engg. Dept. at IIT Kharagpur. Her research interests are Semi-Formal, Formal and Post-Silicon Verification of hardware designs.