Crea el meu perfil
Accés públic
Mostra-ho tot2 articles
0 articles
disponibles
no disponibles
Es basa en els requisits de les agències que proporcionen el finançament
Coautors
- Nikolaj BjornerMicrosoft ResearchCorreu electrònic verificat a cs.stanford.edu
- Bruno DutertreAmazon Web ServicesCorreu electrònic verificat a amazon.com
- Harald RuessfortissCorreu electrònic verificat a fortiss.org
- Natarajan ShankarSRI International Computer Science LaboratoryCorreu electrònic verificat a csl.sri.com
- John RushbySRI InternationalCorreu electrònic verificat a csl.sri.com
- Clark BarrettStanford UniversityCorreu electrònic verificat a cs.stanford.edu
- Jeremy AvigadProfessor of Philosophy and Mathematical Sciences, Carnegie Mellon UniversityCorreu electrònic verificat a cmu.edu
- Daniel SelsamOpenAICorreu electrònic verificat a openai.com
- Dejan JovanovićAmazon Web ServicesCorreu electrònic verificat a amazon.com
- Sam OwreSRI InternationalCorreu electrònic verificat a sri.com
- Aaron StumpProfessor of Computer Science, The University of IowaCorreu electrònic verificat a uiowa.edu
- Sebastian UllrichKarlsruhe Institute of TechnologyCorreu electrònic verificat a kit.edu
- Soonho KongAmazon Web ServicesCorreu electrònic verificat a amazon.com
- Grant Olney PassmoreImandra Inc. and Clare Hall, University of CambridgeCorreu electrònic verificat a cl.cam.ac.uk
- Ira BaxterCTO Semantic DesignsCorreu electrònic verificat a semdesigns.com
- Christoph M. WintersteigerImandraCorreu electrònic verificat a imandra.ai
- Percy LiangAssociate Professor of Computer Science, Stanford UniversityCorreu electrònic verificat a cs.stanford.edu
- Ashish TiwariComputer Scientist, SRI International; Researcher MicrosoftCorreu electrònic verificat a csl.sri.com
- Floris van DoornUniversity of Paris-SaclayCorreu electrònic verificat a universite-paris-saclay.fr
- Jakob von RaumerKarlsruhe Institute of TechnologyCorreu electrònic verificat a von-raumer.de
Segueix