Skapa en profil
Offentlig åtkomst
Visa alla5 artiklar
0 artiklar
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- Niki VazouIMDEA Software InstituteVerifierad e-postadress på cs.umd.edu
- Dimitrios VytiniotisDeepMindVerifierad e-postadress på google.com
- Simon Peyton JonesEpic GamesVerifierad e-postadress på epicgames.com
- Westley WeimerProfessor Computer Science, University of MichiganVerifierad e-postadress på umich.edu
- Gabrielle AllenUniversity of WyomingVerifierad e-postadress på uwyo.edu
- John LaunchburyChief Scientist, GaloisVerifierad e-postadress på galois.com
- Erik SchnetterPerimeter Institute for Theoretical PhysicsVerifierad e-postadress på perimeterinstitute.ca
- Frank LöfflerFriedrich Schiller University Jena, GermanyVerifierad e-postadress på uni-jena.de
- Lee PikeAWS Automated ReasoningVerifierad e-postadress på amazon.com
- Trevor ElliottFastlyVerifierad e-postadress på stripe.com
- Zhigang ZhuHerbert G. Kayser Professor of Computer Science, CUNY City College and Graduate CenterVerifierad e-postadress på cs.ccny.cuny.edu
- Wai L. KhooPh.D.Verifierad e-postadress på gradcenter.cuny.edu
- David RideoutUniversity of California, San DiegoVerifierad e-postadress på math.ucsd.edu
- Steven R. BrandtLouisiana State UniversityVerifierad e-postadress på cct.lsu.edu