Susmit Jha

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
Research interests:Formal Methods, Artificial Intelligence, Programming Languages.

Contributions

Show activities from other conferences

NASA Formal Methods 2023-profile
View general profile