Eigenes Profil erstellen
Öffentlicher Zugriff
Alle anzeigen2 Artikel
0 Artikel
verfügbar
nicht verfügbar
Basierend auf Fördermandaten
Koautoren
Nikolaj BjornerMicrosoft ResearchBestätigte E-Mail-Adresse bei cs.stanford.edu
Bruno DutertreAmazon Web ServicesBestätigte E-Mail-Adresse bei amazon.com
Harald RuessfortissBestätigte E-Mail-Adresse bei fortiss.org
Natarajan ShankarSRI International Computer Science LaboratoryBestätigte E-Mail-Adresse bei csl.sri.com
John RushbySRI InternationalBestätigte E-Mail-Adresse bei csl.sri.com
Clark BarrettStanford UniversityBestätigte E-Mail-Adresse bei cs.stanford.edu
Jeremy AvigadProfessor of Philosophy and Mathematical Sciences, Carnegie Mellon UniversityBestätigte E-Mail-Adresse bei cmu.edu
Sebastian UllrichKarlsruhe Institute of TechnologyBestätigte E-Mail-Adresse bei kit.edu
Daniel SelsamOpenAIBestätigte E-Mail-Adresse bei openai.com
Aaron StumpJohn R. and Pamela Egan Chair, Computer Science, Boston CollegeBestätigte E-Mail-Adresse bei bc.edu
Dejan JovanovićAmazon Web ServicesBestätigte E-Mail-Adresse bei amazon.com
Sam OwreSRI InternationalBestätigte E-Mail-Adresse bei sri.com
Soonho KongAmazon Web ServicesBestätigte E-Mail-Adresse bei amazon.com
Grant Olney PassmoreImandra Inc. and Clare Hall, University of CambridgeBestätigte E-Mail-Adresse bei cl.cam.ac.uk
Christoph M. WintersteigerImandraBestätigte E-Mail-Adresse bei imandra.ai
Ira BaxterCTO Semantic DesignsBestätigte E-Mail-Adresse bei semdesigns.com
Percy LiangAssociate Professor of Computer Science, Stanford UniversityBestätigte E-Mail-Adresse bei cs.stanford.edu
Ashish TiwariComputer Scientist, SRI International; Researcher MicrosoftBestätigte E-Mail-Adresse bei csl.sri.com
Floris van DoornUniversity of BonnBestätigte E-Mail-Adresse bei math.uni-bonn.de
Jakob von RaumerKarlsruhe Institute of TechnologyBestätigte E-Mail-Adresse bei von-raumer.de