He is awarded PhD in Towards Automated System Synthesis Using SCIDUCTION from Department of Electrical Engineering and Computer Science at UC, Berkeley in 2011 followed by a Bachelor’s Degree (B.Tech) from Indian Institute of Technology, Kharagpur. Currently, Her international experience includes various programs, contributions and participation in different countries for diverse fields of study. His research interests reflect in her wide range of publications in various national and international journals. Formal Methods and Constraint Solving Application Areas, Electronic Design Automation, Computer Security, Hybrid Systems.