Susmit Jha
Technical Director,
NuSCI Research Group,
Computer Science Laboratory,
SRI International
Email:
firstname.lastname at sri.com
Past:
Principal Computer Scientist, SRI (Dec, 2019 - Sept, 2022)
Senior Staff Scientist, SRI (Oct, 2016 - Dec, 2019)
Staff Research Scientist, UTRC (Raytheon Technologies) , Berkeley (Dec, 2014 - Oct, 2016)
Research Scientist, Intel, Hillsboro (Jan, 2012 - Dec, 2014)
M.S. and Ph.D., EECS, UC Berkeley (Aug, 2006 - Dec, 2011)
B.Tech., Dept. of Computer Science, IIT Kharagpur (2002-2006)
Bio: 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 42nd International Conference on Software Engineering (ICSE) 2020 ,
Top 10% paper award at
17th International Design Conference (DESIGN) 2022 , and Best Paper Award Nomination at
IEEE/ACM 14TH International Conference on Cyber-Physical Systems ICCPS 2023 .
He co-developed the NEDL technology in DARPA SoSITE which led to the STITCHES Air Force Program of Record.
He has published over 90 peer-reviewed publications with over 4000 citations in AI, ML,
and automated reasoning venues such as NeurIPS, ICLR, ICML, CVPR, ICCV, AAAI, IJCAI, JAR, PLDI, and CAV. Dr. Jha has been a Principal Investigator on DoD and
other US Govt. programs on trustworthy, resilient, and neuro-symbolic AI, including:
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.
Previous DoD Projects:
DARPA IDAS ,
DARPA RFMLS ,
DARPA BRASS ,
DARPA MUSE ,
DARPA SoSITE ,
DARPA C2E , and
DARPA ALIAS .