Eigenes Profil erstellen
Öffentlicher Zugriff
Alle anzeigen9 Artikel
0 Artikel
verfügbar
nicht verfügbar
Basierend auf Fördermandaten
Koautoren
- Zachary TatlockUniversity of WashingtonBestätigte E-Mail-Adresse bei cs.washington.edu
- Max WillseyUC BerkeleyBestätigte E-Mail-Adresse bei eecs.berkeley.edu
- Dan GrossmanComputer Science, University of WashingtonBestätigte E-Mail-Adresse bei cs.washington.edu
- Pavel PanchekhaUniversity of Utah, Kahlert School of ComputingBestätigte E-Mail-Adresse bei cs.utah.edu
- James R. WilcoxUniversity of WashingtonBestätigte E-Mail-Adresse bei cs.washington.edu
- Adriana SchulzUniversity of WashingtonBestätigte E-Mail-Adresse bei cs.washington.edu
- Eva DarulovaUppsala UniversityBestätigte E-Mail-Adresse bei it.uu.se
- Haisen ZhaoProfessor of Shandong UniversityBestätigte E-Mail-Adresse bei sdu.edu.cn
- Jeffrey LiptonProfessor, University of WashingtonBestätigte E-Mail-Adresse bei uw.edu
- Chenming WuBaiduBestätigte E-Mail-Adresse bei mails.tsinghua.edu.cn
- Kathryn S McKinleyGoogleBestätigte E-Mail-Adresse bei cs.utexas.edu
- Adrian SampsonComputer Science, Cornell UniversityBestätigte E-Mail-Adresse bei cornell.edu
- Todd MytkowiczMicrosoft ResearchBestätigte E-Mail-Adresse bei microsoft.com
- Manuel OriolConstructor Institute SchaffhausenBestätigte E-Mail-Adresse bei constructor.org
- Aurelien MonotABB Corporate ResearchBestätigte E-Mail-Adresse bei ch.abb.com
Folgen
Chandrakana Nandi
Senior Researcher, Certora Inc.
Bestätigte E-Mail-Adresse bei certora.com - Startseite