SUSMIT JHA

Bio: Dr. Susmit Jha is a Technical Director in the Computer Science Laboratory at SRI International , where he leads 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. Dr. Jha completed his Ph.D. in Computer Science from UC Berkeley in 2011, where his thesis work on "Automated Synthesis Using Structurally Constrained Induction and Deduction" was supported by the Berkeley Fellowship and was awarded the Leon O Chua Award. Before joining SRI, Dr. Jha was at Intel Strategic CAD Labs and Raytheon Technologies Research Center at Berkeley. At Intel, Dr. Jha's research received a Division Recognition Award in 2012 and a Research Technology Scoping Award in 2014. He is the recipient of the 10-year Most Influential Paper Award at IEEE/ACM 42nd International Conference on Software Engineering (ICSE) 2020 , Top..

Primary location: Cambridge United States