Založit si vlastní profil
Veřejný přístup
Zobrazit všechny5 článků
0 článků
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- Ranjit JhalaProfessor of Computer Science, UC San DiegoE-mailová adresa ověřena na: cs.ucsd.edu
- Niki VazouIMDEA Software InstituteE-mailová adresa ověřena na: cs.umd.edu
- Dimitrios VytiniotisDeepMindE-mailová adresa ověřena na: google.com
- Simon Peyton JonesEpic GamesE-mailová adresa ověřena na: epicgames.com
- Westley WeimerProfessor Computer Science, University of MichiganE-mailová adresa ověřena na: umich.edu
- Gabrielle AllenUniversity of WyomingE-mailová adresa ověřena na: uwyo.edu
- John LaunchburyChief Scientist, GaloisE-mailová adresa ověřena na: galois.com
- Erik SchnetterPerimeter Institute for Theoretical PhysicsE-mailová adresa ověřena na: perimeterinstitute.ca
- Frank LöfflerFriedrich Schiller University Jena, GermanyE-mailová adresa ověřena na: uni-jena.de
- Lee PikeAWS Automated ReasoningE-mailová adresa ověřena na: amazon.com
- Trevor ElliottFastlyE-mailová adresa ověřena na: stripe.com
- Kamalika ChaudhuriProfessor of Computer Science, UCSD. Research Scientist, Meta AIE-mailová adresa ověřena na: ucsd.edu
- Zhigang ZhuHerbert G. Kayser Professor of Computer Science, CUNY City College and Graduate CenterE-mailová adresa ověřena na: cs.ccny.cuny.edu
- Wai L. KhooPh.D.E-mailová adresa ověřena na: gradcenter.cuny.edu
- David RideoutUniversity of California, San DiegoE-mailová adresa ověřena na: math.ucsd.edu
- Steven R. BrandtLouisiana State UniversityE-mailová adresa ověřena na: cct.lsu.edu