Journal of Information Technology & Software Engineering

Journal of Information Technology & Software Engineering
Open Access

ISSN: 2165- 7866

Sumit Kumar Jha

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.
Research Interest

 Formal Methods and Constraint Solving

Relevant Topics