Get my own profile
Public access
View all4 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Alessandro AbateProfessor of Verification and Control, University of Oxford, UKVerified email at cs.ox.ac.uk
Daniel KroeningAmazonVerified email at amazon.com
Ida MomennejadMicrosoft ResearchVerified email at microsoft.com
Felipe Vieira FrujeriMicrosoft ResearchVerified email at microsoft.com
Yiannis KantarosAssistant Professor, Washington University in St. LouisVerified email at wustl.edu
Tom MelhamProfessor of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
Hamid PalangiGoogle and University of WashingtonVerified email at google.com
Robert Osazuwa NessMicrosoft ResearchVerified email at altdeep.ai
Jonathan LarsonMicrosoft ResearchVerified email at microsoft.com
George PappasUPS Foundation Professor, Electrical and Systems Engineering, University of PennsylvaniaVerified email at seas.upenn.edu
Insup LeeProfessor, Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
Nebojsa JojicMicrosoft ResearchVerified email at microsoft.com
Mirco GiacobbeUniversity of BirminghamVerified email at bham.ac.uk
Hjalmar WijkMETRVerified email at metr.org
Jun WangPhD Candidate, Washington University in St. LouisVerified email at wustl.edu
Thomas J. RingstromPh.D. candidate, University of Minnesota, Twin CitiesVerified email at umn.edu
Fazl BarezUniversity of OxfordVerified email at robots.ox.ac.uk