Eigenes Profil erstellen
Öffentlicher Zugriff
Alle anzeigen7 Artikel
0 Artikel
verfügbar
nicht verfügbar
Basierend auf Fördermandaten
Koautoren
Swarat ChaudhuriUT Austin, Google DeepmindBestätigte E-Mail-Adresse bei cs.utexas.edu
Yisong YueCalifornia Institute of Technology; Asari AI; Latitude AIBestätigte E-Mail-Adresse bei caltech.edu
Pushmeet KohliDeepMindBestätigte E-Mail-Adresse bei google.com
Rishabh SinghResearch Scientist, Google BrainBestätigte E-Mail-Adresse bei google.com
Vijayaraghavan MuraliFacebookBestätigte E-Mail-Adresse bei fb.com
Hoang M. LeLatitude AI; Argo AI; Microsoft Research; CaltechBestätigte E-Mail-Adresse bei lat.ai
Gábor OroszMechanical Engineering, University of Michigan, Ann ArborBestätigte E-Mail-Adresse bei umich.edu
Richard ChengCalifornia Institute of TechnologyBestätigte E-Mail-Adresse bei caltech.edu
Greg AndersonUniversity of Texas at AustinBestätigte E-Mail-Adresse bei cs.utexas.edu
Isil DilligUT AustinBestätigte E-Mail-Adresse bei cs.utexas.edu
Joshua MichalenkoSandia National LaboratoriesBestätigte E-Mail-Adresse bei sandia.gov
Jennifer J. SunAssistant professor at Cornell CSBestätigte E-Mail-Adresse bei cornell.edu
Eric ZhanCaltech PhDBestätigte E-Mail-Adresse bei caltech.edu
Thomas HenzingerIST AustriaBestätigte E-Mail-Adresse bei ist.ac.at
Mathias LechnerMassachusetts Institute of TechnologyBestätigte E-Mail-Adresse bei mit.edu
Krishnendu ChatterjeeProfessor, IST AustriaBestätigte E-Mail-Adresse bei ist.ac.at
Djordje ZikelicSingapore Management UniversityBestätigte E-Mail-Adresse bei smu.edu.sg
Cameron VoloshinCaltechBestätigte E-Mail-Adresse bei caltech.edu
Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyBestätigte E-Mail-Adresse bei eecs.berkeley.edu
Chenxi YangUniversity of Texas at AustinBestätigte E-Mail-Adresse bei cs.utexas.edu