Crea il mio profilo
Accesso pubblico
Visualizza tutto30 articoli
0 articoli
Disponibili
Non disponibili
In base ai mandati di finanziamento
Coautori
- Chris JermaineAssociate Professor of Computer Science, Rice UniversityEmail verificata su cs.rice.edu
- Lydia E. KavrakiRice UniversityEmail verificata su rice.edu
- Isil DilligUT AustinEmail verificata su cs.utexas.edu
- Rajeev AlurZisman Family Professor of Computer and Information Science, University of PennsylvaniaEmail verificata su seas.upenn.edu
- Abhinav VermaPennsylvania State UniversityEmail verificata su psu.edu
- Vijayaraghavan MuraliFacebookEmail verificata su fb.com
- Yisong YueCalifornia Institute of Technology; Latitude AIEmail verificata su caltech.edu
- Neil T. DantamAssociate Professor of Computer Science, Colorado School of MinesEmail verificata su mines.edu
- Armando Solar-LezamaMITEmail verificata su csail.mit.edu
- Sumit GulwaniPartner Research Manager, MicrosoftEmail verificata su microsoft.com
- Thomas RepsJ. Barkley Rosser Professor & Rajiv and Ritu Batra Chair, Comp. Sci. Dept., Univ. of WisconsinEmail verificata su cs.wisc.edu
- Madhusudan ParthasarathyProfessor of Computer Science, University of Illinois at Urbana-ChampaignEmail verificata su illinois.edu
- Patrick McDanielTsun-Ming Shih Professor of Computer Sciences, University of Wisconsin-MadisonEmail verificata su cs.wisc.edu
- William EnckProfessor of Computer Science, North Carolina State UniversityEmail verificata su ncsu.edu
- Damien OcteauGoogleEmail verificata su google.com
- Dipak ChaudhariApplied Research Scientist, Meta Platforms, IncEmail verificata su fb.com
- Rishabh SinghResearch Scientist, Google BrainEmail verificata su google.com
- Petar TsankovCo-founder & CEO, LatticeFlowEmail verificata su latticeflow.ai
- Martin VechevFull Professor of Computer Science, ETH Zurich; Scientific Director, INSAIT;Email verificata su inf.ethz.ch
- Matthew MirmanETH ZürichEmail verificata su inf.ethz.ch
Segui
Swarat Chaudhuri
Professor of Computer Science, The University of Texas at Austin
Email verificata su cs.utexas.edu - Home page