Crea il mio profilo
Accesso pubblico
Visualizza tutto2 articoli
0 articoli
Disponibili
Non disponibili
In base ai mandati di finanziamento
Coautori
- Nikolaj BjornerMicrosoft ResearchEmail verificata su cs.stanford.edu
- Bruno DutertreAmazon Web ServicesEmail verificata su amazon.com
- Harald RuessfortissEmail verificata su fortiss.org
- Natarajan ShankarSRI International Computer Science LaboratoryEmail verificata su csl.sri.com
- John RushbySRI InternationalEmail verificata su csl.sri.com
- Clark BarrettStanford UniversityEmail verificata su cs.stanford.edu
- Jeremy AvigadProfessor of Philosophy and Mathematical Sciences, Carnegie Mellon UniversityEmail verificata su cmu.edu
- Daniel SelsamOpenAIEmail verificata su openai.com
- Dejan JovanovićAmazon Web ServicesEmail verificata su amazon.com
- Sam OwreSRI InternationalEmail verificata su sri.com
- Aaron StumpProfessor of Computer Science, The University of IowaEmail verificata su uiowa.edu
- Sebastian UllrichKarlsruhe Institute of TechnologyEmail verificata su kit.edu
- Soonho KongAmazon Web ServicesEmail verificata su amazon.com
- Grant Olney PassmoreImandra Inc. and Clare Hall, University of CambridgeEmail verificata su cl.cam.ac.uk
- Ira BaxterCTO Semantic DesignsEmail verificata su semdesigns.com
- Christoph M. WintersteigerMicrosoft ResearchEmail verificata su microsoft.com
- Percy LiangAssociate Professor of Computer Science, Stanford UniversityEmail verificata su cs.stanford.edu
- Ashish TiwariComputer Scientist, SRI International; Researcher MicrosoftEmail verificata su csl.sri.com
- Floris van DoornUniversity of Paris-SaclayEmail verificata su universite-paris-saclay.fr
- Jakob von RaumerKarlsruhe Institute of TechnologyEmail verificata su von-raumer.de