Dr. Sumit K. Jha is Associate Professor of Computer Science at the University of Central Florida, Orlando. His research focusses on formal methods. He has applied formal methods to problems in computational systems biology, cyber-physical systems, cyber-security, computational finance, emerging computer architectures, hybrid and stochastic systems.
Dr. Jha received his Ph.D. in Computer Science with Dr. Christopher James Langmead at Carnegie Mellon University. Before joining Carnegie Mellon, he graduated with B.Tech (Honors) in Computer Science and Engineering from the Indian Institute of Technology Kharagpur. Dr. Jha has worked on R&D problems at Microsoft Research India, General Motors, INRIA France and the Air Force Research Lab Information Directorate. Dr. Jha holds a Certificate in Quantitative Finance and is a member of the Alpha Quant Club - a network of academicians and industry leaders interested in mathematical finance.
His research has been supported by the National Science Foundation, the Air Force Office of Scientific Research, the Oak Ridge National Laboratory and the Air Force Research Laboratory. He is an elected full member of the Sigma Xi and is a recipient of the IEEE Orlando Engineering Educator Excellence Award. Dr. Jha was awarded the Air Force Young Investigator Award in 2016.