Journal of Information Technology & Software Engineering
Open Access
ISSN: 2165- 7866
+44 1300 500008
ISSN: 2165- 7866
+44 1300 500008
Sumit Kumar Jha
University of California, USA
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.
Formal Methods and Constraint Solving