Published over 100 peer-reviewed publications with over 4500 citations. Recipient of the 10-year Most Influential Paper Award at IEEE/ACM 42nd ICSE 2020, Top 10% paper award at 17th DESIGN 2022, and Best Paper Award Nomination at IEEE/ACM 14TH ICCPS 2023. Involved in several key research projects including DARPA TIAMAT, ANSR, and SDCPS.
Research Experience
Formerly Principal Computer Scientist at SRI (Dec, 2019 - Sept, 2022), Senior Staff Scientist at SRI (Oct, 2016 - Dec, 2019), Staff Research Scientist at UTRC (Raytheon Technologies) (Dec, 2014 - Oct, 2016), and Research Scientist at Intel (Jan, 2012 - Dec, 2014). Currently a Principal Investigator on multiple US government programs.
Education
Ph.D. in EECS from UC Berkeley (2011); B.Tech. in Computer Science from IIT Kharagpur (2006).
Background
Currently a Technical Director in the Computer Science Laboratory at SRI International, leading 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.
Miscellany
Co-founded p-1.ai, a startup working to develop an artificial general engineering intelligence that can help the human species design physical systems more efficiently.