Get my own profile
Public access
View all11 articles
1 article
available
not available
Based on funding mandates
Co-authors
Mayur NaikProfessor of Computer Science, University of PennsylvaniaVerified email at cis.upenn.edu
Xin ZhangAssistant Professor, Peking UniversityVerified email at pku.edu.cn
Aditya NoriMicrosoft ResearchVerified email at microsoft.com
Corina PasareanuCMU/NASA AmesVerified email at nasa.gov
Alessandro OrsoProfessor of Computer Science, Georgia Institute of TechnologyVerified email at cc.gatech.edu
Hongseok YangProfessor, School of Computing, KAISTVerified email at kaist.ac.kr
Matt FredriksonCarnegie Mellon UniversityVerified email at cs.cmu.edu
Radu CalinescuProfessor of Computer Science, University of YorkVerified email at york.ac.uk
Calum ImrieResearch & Innovation Associate, Centre for Assuring Autonomy (University of York)Verified email at york.ac.uk
Radu GrigoreFacebookVerified email at fb.com
Bryan ParnoCarnegie Mellon UniversityVerified email at cmu.edu
Genaína Nunes RodriguesAssociate Professor of Computer Science, University of BrasiliaVerified email at unb.br
Sulekha KulkarniMicrosoft CorporationVerified email at microsoft.com
Sinem Getir YamanComputer Science, University of York, Ege University IzmirVerified email at york.ac.uk
Kartik SarangmathThirdAIVerified email at thirdai.com
Zifan WangCarnegie Mellon UniversityVerified email at andrew.cmu.edu
Limin JiaCarnegie Mellon UniversityVerified email at andrew.cmu.edu
Anirban RoySenior Scientist, SRI InternationalVerified email at sri.com
Nina NarodytskaVMware ResearchVerified email at vmware.com
Susmit JhaDirector, Neurosymbolic Computing and Intelligence, SRI InternationalVerified email at sri.com
Follow![Ravi Mangal](https://scholar.googleusercontent.com/citations?view_op=view_photo&user=5OFQ4A8AAAAJ&citpid=4)