Sumit K. Jha
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!


Arup Ghosh and Faraz Hussain have papers accepted at IEEE ICCABS 2012.
Best Paper Award at ICCABS 2011!
Upcoming research

Related SITES

Assistant professor
EECS Department
University of Central Florida
Orlando 32816 FL