Skapa en profil
Offentlig åtkomst
Visa alla36 artiklar
2 artiklar
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- Sumit GulwaniPartner Research Manager, MicrosoftVerifierad e-postadress på microsoft.com
- Susmit JhaDirector, Neurosymbolic Computing and Intelligence, SRI InternationalVerifierad e-postadress på sri.com
- Natarajan ShankarSRI International Computer Science LaboratoryVerifierad e-postadress på csl.sri.com
- Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyVerifierad e-postadress på eecs.berkeley.edu
- Sriram SankaranarayananProfessor of Computer Science, University of Colorado BoulderVerifierad e-postadress på colorado.edu
- patrick lincolnSRIVerifierad e-postadress på sri.com
- Adrià GascónGoogle ResearchVerifierad e-postadress på google.com
- Harald RuessfortissVerifierad e-postadress på fortiss.org
- Radu GrosuProfessor of Computer ScienceVerifierad e-postadress på tuwien.ac.at
- Scott A. SmolkaProfessor of Computer Science, Stony Brook UniversityVerifierad e-postadress på cs.sunysb.edu
- John RushbySRI InternationalVerifierad e-postadress på csl.sri.com
- Leo BachmairProfessor of Computer Science, Stony Brook UniversityVerifierad e-postadress på cs.stonybrook.edu
- Bruno DutertreAmazon Web ServicesVerifierad e-postadress på amazon.com
- Sam OwreSRI InternationalVerifierad e-postadress på sri.com
- Sharad MalikProfessor of Electrical and Computer Engineering, Princeton UniversityVerifierad e-postadress på princeton.edu
- Junxing YangStony Brook UniverisityVerifierad e-postadress på cs.stonybrook.edu
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKVerifierad e-postadress på cs.ox.ac.uk
- Pramod SubramanyanIndian Institute of Technology KanpurVerifierad e-postadress på cse.iitk.ac.in
- Leonardo de MouraAmazon Web ServicesVerifierad e-postadress på amazon.com
- Gaurav KhannaUniversity of Rhode Island & UMass DartmouthVerifierad e-postadress på umassd.edu
Följ
Ashish Tiwari
Computer Scientist, SRI International; Researcher Microsoft
Verifierad e-postadress på csl.sri.com - Startsida