Sumit K. Jha

 
 

Email: jha at eecs.ucf.edu

Brief Bio

PhD (Computer Science), Carnegie Mellon University, Advisor: Christopher James Langmead

B.Tech. (Hons), Indian Institute of Technology, Kharagpur

Current Research:

Model Validation, Computational Systems Biology, Algorithms for Formal Verification, Automated Synthesis, Hybrid Systems, Stochastic Systems.



 

News


Emily Sassano is

a NSF 2012 Fellow!

She is the only NSF

fellow in EECS.



Daniel Garcia is a

RAMP Scholar Congratulations!



R
aj Dutta and Emily Sassano have a paper accepted in IJBRA!



Arup Ghosh and Faraz Hussain have papers accepted at IEEE ICCABS 2012.


Best Paper Award at ICCABS 2011!


Upcoming research




Related SITES