Registered user since Sun 6 Feb 2022
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.
|PLDI 2022||Committee Member in PLDI within the PLDI-track|
|Show activities from other conferences|
View general profile