conf.researchr.org / Susmit Jha
![Susmit Jha](https://conf.researchr.org/getProfileImage/susmitjha1/70c333a4-d4a4-440a-9e7e-0250cb3b2861/small.jpg?1711719415000)
Registered user since Sun 6 Feb 2022
Name:Susmit Jha
Bio:
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.
Country:United States
Affiliation:SRI
Personal website: https://nusci.csl.sri.com/author/susmit-jha/
Research interests:Formal Methods, Artificial Intelligence, Programming Languages.
Contributions