Sumit Kumar Jha
Formal methods · interpretable & controllable AI · AI for science.
Professor in the Department of Computer & Information Science & Engineering, building AI systems that are robust, auditable, and formally understood.
Sumit Kumar Jha is a Professor of Computer & Information Science & Engineering at the University of Florida and a U.S. citizen. He earned his Ph.D. in Computer Science from Carnegie Mellon University, held the AFOSR Young Investigator Program award, and completed multiple visiting appointments at the Air Force Research Laboratory.
His research focuses on formal methods, interpretable controllable AI, and the automated synthesis of AI systems. His current interests center on AI for science: agentic AI, scientific foundation models, and the formal analysis of their internal representations. He has served as lead/prime PI on DARPA GARD (ALARM), DARPA TIAMAT (FIRST-FM), NSF SPX, DOE ASCR MEDAL, and DARPA AI-CRAFT, with additional support from NSF, DOE, ONR, and AFRL/AFOSR. His work appears at AAAI, ACL, CVPR, DAC, ICCAD, ICLR, ICML, IJCAI, and NeurIPS, and in IEEE Transactions journals and TMLR.
Recent Publications
AI for Cybersecurity: Research and Practice
Flagship grants & projects
{{ f.name }}
{{ f.desc }}
Selected publications
Recent highlights
{{ n.text }}
Awards & recognition
Teaching & mentoring
Graduate teaching including Trust in AI and Design & Analysis of Algorithms, with strong evaluations.
Get in touch
{{ email }}Room 3106, Malachowsky Hall
CISE Department, University of Florida
1889 Museum Road, Gainesville, FL 32611
Positions are available for postdocs, Ph.D. students, research staff, undergraduates, and interns in AI control, AI interpretability, formal methods, and in-memory computing.
Email with a CV and specific research interests.