Skapa en profil
Offentlig åtkomst
Visa alla2 artiklar
0 artiklar
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- Nikolaj BjornerMicrosoft ResearchVerifierad e-postadress på cs.stanford.edu
- Bruno DutertreAmazon Web ServicesVerifierad e-postadress på amazon.com
- Harald RuessfortissVerifierad e-postadress på fortiss.org
- Natarajan ShankarSRI International Computer Science LaboratoryVerifierad e-postadress på csl.sri.com
- John RushbySRI InternationalVerifierad e-postadress på csl.sri.com
- Clark BarrettStanford UniversityVerifierad e-postadress på cs.stanford.edu
- Jeremy AvigadProfessor of Philosophy and Mathematical Sciences, Carnegie Mellon UniversityVerifierad e-postadress på cmu.edu
- Daniel SelsamOpenAIVerifierad e-postadress på openai.com
- Dejan JovanovićAmazon Web ServicesVerifierad e-postadress på amazon.com
- Sam OwreSRI InternationalVerifierad e-postadress på sri.com
- Aaron StumpProfessor of Computer Science, The University of IowaVerifierad e-postadress på uiowa.edu
- Sebastian UllrichKarlsruhe Institute of TechnologyVerifierad e-postadress på kit.edu
- Soonho KongAmazon Web ServicesVerifierad e-postadress på amazon.com
- Grant Olney PassmoreImandra Inc. and Clare Hall, University of CambridgeVerifierad e-postadress på cl.cam.ac.uk
- Ira BaxterCTO Semantic DesignsVerifierad e-postadress på semdesigns.com
- Christoph M. WintersteigerMicrosoft ResearchVerifierad e-postadress på microsoft.com
- Percy LiangAssociate Professor of Computer Science, Stanford UniversityVerifierad e-postadress på cs.stanford.edu
- Ashish TiwariComputer Scientist, SRI International; Researcher MicrosoftVerifierad e-postadress på csl.sri.com
- Floris van DoornUniversity of Paris-SaclayVerifierad e-postadress på universite-paris-saclay.fr
- Jakob von RaumerKarlsruhe Institute of TechnologyVerifierad e-postadress på von-raumer.de