Susmit Jha is a Principal Scientist at SRI International where he leads the Neuro-Symbolic Computing and Intelligence research group. His research focuses on combining formal methods and machine learning to build trusted artificial intelligence and correct-by-construction autonomous systems. His research background is in Formal Methods, Artificial Intelligence, and Programming Languages.