Dr. Susmit Jha is a Technical Director in the Computer Science Laboratory at SRI International , where he leads the research group on Neuro-symbolic Computing and Intelligence. His research focuses on combining formal methods, machine learning, and control theory to build trusted artificial intelligence and correct-by-construction autonomous systems. Dr. Jha completed his Ph.D. in Computer Science from UC Berkeley in 2011, where his thesis work on “Automated Synthesis Using Structurally Constrained Induction and Deduction” was supported by the Berkeley Fellowship and was awarded the Leon O Chua Award. Before joining SRI, Dr. Jha was at Intel Strategic CAD Labs and Raytheon Technologies Research Center at Berkeley. At Intel, Dr. Jha’s research received a Division Recognition Award in 2012 and a Research Technology Scoping Award in 2014. He is the recipient of the 10-year Most Influential Paper award at IEEE/ACM ICSE 2020 . He has published over 80 peer-reviewed publications with over 3400 citations in AI, ML, and automated reasoning venues such as NeurIPS, ICLR, ICML, CVPR, ICCV, AAAI, IJCAI, JAR, PLDI, and CAV. The Defense Advanced Research Projects Agency (DARPA) has named Dr. Susmit Jha to the Information Science & Technology (ISAT) Study Group beginning in July 2023. The group identifies new areas of development in computer science and information technology and to recommend future possible research directions. The ISAT Study Group was established by DARPA in 1987 to support its technology offices and provide continuing and independent assessment of the state of advanced Information Science technology as it relates to the U.S. Department of Defense.

Personal Homepage