Založiť si vlastný profil
Verejný prístup
všetky položky30 článkov
1 článok
dostupné
nedostupné
Na základe mandátov na financovanie
Spoluautori
- Ramana KumarDeepMindOverená e-mailová adresa na: cl.cam.ac.uk
- Magnus MyreenChalmers University of TechnologyOverená e-mailová adresa na: cl.cam.ac.uk
- Gerwin KleinProofcraft and UNSWOverená e-mailová adresa na: unsw.edu.au
- Peter SewellComputer Laboratory, University of CambridgeOverená e-mailová adresa na: cl.cam.ac.uk
- David CockSenior Researcher, ETH ZurichOverená e-mailová adresa na: cse.unsw.edu.au
- Gernot HeiserProfessor of Computer Science, University of New South WalesOverená e-mailová adresa na: unsw.edu.au
- June AndronickCEO and co-founcer, ProofcraftOverená e-mailová adresa na: proofcraft.systems
- Kevin ElphinstoneUniversity of New South WalesOverená e-mailová adresa na: cse.unsw.edu.au
- Kai Engelhardtn.a.Overená e-mailová adresa na: acm.org
- Dhammika ElkaduweUniversity of Peradeniya (www.pdn.ac.lk)Overená e-mailová adresa na: ce.pdn.ac.lk
- Scott OwensUniversity of KentOverená e-mailová adresa na: kent.ac.uk
- Tony HoskingAustralian National UniversityOverená e-mailová adresa na: anu.edu.au
- Yong Kiam TanInstitute for Infocomm Research, SingaporeOverená e-mailová adresa na: cs.cmu.edu
- Charles Gretton, FIEAustThe Australian National UniversityOverená e-mailová adresa na: anu.edu.au
- Steve BlackburnResearch Scientist, Google | Professor of Computer Science, Australian National UniversityOverená e-mailová adresa na: google.com
- Tom RidgeIndependentOverená e-mailová adresa na: tom-ridge.com
- Adrian HerreraResearcher, Interrupt LabsOverená e-mailová adresa na: anu.edu.au
- Hendra GunadiThe Australian National UniversityOverená e-mailová adresa na: anu.edu.au
- Tom MelhamProfessor of Computer Science, University of OxfordOverená e-mailová adresa na: cs.ox.ac.uk
- Louise DennisDepartment of Computer Science, University of ManchesterOverená e-mailová adresa na: manchester.ac.uk