Mijn eigen profiel maken
Openbare toegang
Alles bekijken2 artikelen
0 artikelen
beschikbaar
niet beschikbaar
Op basis van financieringsmachtigingen
Medeauteurs
Nikolaj BjornerMicrosoft ResearchGeverifieerd e-mailadres voor cs.stanford.edu
Bruno DutertreAmazon Web ServicesGeverifieerd e-mailadres voor amazon.com
Harald RuessfortissGeverifieerd e-mailadres voor fortiss.org
Natarajan ShankarSRI International Computer Science LaboratoryGeverifieerd e-mailadres voor csl.sri.com
John RushbySRI InternationalGeverifieerd e-mailadres voor csl.sri.com
Clark BarrettStanford UniversityGeverifieerd e-mailadres voor cs.stanford.edu
Jeremy AvigadProfessor of Philosophy and Mathematical Sciences, Carnegie Mellon UniversityGeverifieerd e-mailadres voor cmu.edu
Daniel SelsamOpenAIGeverifieerd e-mailadres voor openai.com
Dejan JovanovićAmazon Web ServicesGeverifieerd e-mailadres voor amazon.com
Sam OwreSRI InternationalGeverifieerd e-mailadres voor sri.com
Aaron StumpProfessor of Computer Science, The University of IowaGeverifieerd e-mailadres voor uiowa.edu
Sebastian UllrichKarlsruhe Institute of TechnologyGeverifieerd e-mailadres voor kit.edu
Soonho KongAmazon Web ServicesGeverifieerd e-mailadres voor amazon.com
Grant Olney PassmoreImandra Inc. and Clare Hall, University of CambridgeGeverifieerd e-mailadres voor cl.cam.ac.uk
Ira BaxterCTO Semantic DesignsGeverifieerd e-mailadres voor semdesigns.com
Christoph M. WintersteigerImandraGeverifieerd e-mailadres voor imandra.ai
Percy LiangAssociate Professor of Computer Science, Stanford UniversityGeverifieerd e-mailadres voor cs.stanford.edu
Ashish TiwariComputer Scientist, SRI International; Researcher MicrosoftGeverifieerd e-mailadres voor csl.sri.com
Floris van DoornUniversity of Paris-SaclayGeverifieerd e-mailadres voor universite-paris-saclay.fr
Jakob von RaumerKarlsruhe Institute of TechnologyGeverifieerd e-mailadres voor von-raumer.de