Get my own profile

Public access

View all12 articles

0 articles

available

not available

Based on funding mandates

### Co-authors

- Chris HeunenUniversity of EdinburghVerified email at ed.ac.uk
- Andrew M PittsProfessor of Theoretical Computer Science, University of CambridgeVerified email at cl.cam.ac.uk
- Ranald CloustonLecturer, Australian National UniversityVerified email at anu.edu.au
- Egbert RijkePostdoc in Mathematics, University of Illinois at Urbana-ChampaignVerified email at illinois.edu
- Lars BirkedalDept. of Computer Science, Aarhus UniversityVerified email at cs.au.dk
- Andrej BauerUniversity of LjubljanaVerified email at andrej.com
- Danil AnnenkovAarhus UniversityVerified email at di.ku.dk
- Ian OrtonUniversity of CambridgeVerified email at cam.ac.uk
- Dan LicataWesleyan UniversityVerified email at cs.cmu.edu
- Robbert KrebbersAssociate Professor, Radboud University NijmegenVerified email at cs.ru.nl
- Peter LeFanu LumsdaineAssistant professor, Dept. of Mathematics, Stockholm UniversityVerified email at math.su.se
- Jason GrossGraduate, Massachusetts Institute of TechnologyVerified email at mit.edu
- Jakob Botsch NielsenPhD student at Aarhus UniversityVerified email at cs.au.dk
- Hans Bugge GrathwohlDepartment of Computer Science, Aarhus UniversityVerified email at cs.au.dk
- Aleš BizjakFormerly postdoctoral researcher, Aarhus University, currently software architect at ConcordiumVerified email at alesb.com
- Andrea VezzosiPostdoc, IT University CopenhagenVerified email at itu.dk
- Bassel MannaaPostdoc, IT University of CopenhagenVerified email at itu.dk
- Rasmus MøgelbergIT University of CopenhagenVerified email at itu.dk
- Herman GeuversRadboud University Nijmegen, the NetherlandsVerified email at cs.ru.nl
- Matthieu SozeauResarcher, Inria Paris and PPSVerified email at inria.fr