Susmit Jha
Scholar

Susmit Jha

Google Scholar ID: wPNgzO4AAAAJ
Director, Neurosymbolic Computing and Intelligence, SRI International
Aritificial IntelligenceAutonomyFormal MethodsMachine Learning
Citations & Impact
All-time
Citations
3,560
 
H-index
30
 
i10-index
57
 
Publications
20
 
Co-authors
9
list available
Resume (English only)
Academic Achievements
  • Published over 100 peer-reviewed publications with over 4500 citations. Recipient of the 10-year Most Influential Paper Award at IEEE/ACM 42nd ICSE 2020, Top 10% paper award at 17th DESIGN 2022, and Best Paper Award Nomination at IEEE/ACM 14TH ICCPS 2023. Involved in several key research projects including DARPA TIAMAT, ANSR, and SDCPS.
Research Experience
  • Formerly Principal Computer Scientist at SRI (Dec, 2019 - Sept, 2022), Senior Staff Scientist at SRI (Oct, 2016 - Dec, 2019), Staff Research Scientist at UTRC (Raytheon Technologies) (Dec, 2014 - Oct, 2016), and Research Scientist at Intel (Jan, 2012 - Dec, 2014). Currently a Principal Investigator on multiple US government programs.
Education
  • Ph.D. in EECS from UC Berkeley (2011); B.Tech. in Computer Science from IIT Kharagpur (2006).
Background
  • Currently a Technical Director in the Computer Science Laboratory at SRI International, leading 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.
Miscellany
  • Co-founded p-1.ai, a startup working to develop an artificial general engineering intelligence that can help the human species design physical systems more efficiently.