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
- Yiannis KantarosAssistant Professor, Washington University in St. LouisVerified email at wustl.edu
- Felipe Vieira FrujeriMicrosoft ResearchVerified email at microsoft.com
- 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 WijkUniversity of OxfordVerified email at st-annes.ox.ac.uk
- 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 Oxford, TangenticVerified email at robots.ox.ac.uk