Get my own profile

Public access

View all14 articles

0 articles

available

not available

Based on funding mandates

### Co-authors

- Chris HeunenUniversity of EdinburghVerified email at ed.ac.uk
- Danil AnnenkovAarhus UniversityVerified email at di.ku.dk
- 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
- Jakob Botsch NielsenVerified email at cs.au.dk
- Ian OrtonUniversity of CambridgeVerified email at cam.ac.uk
- Dan LicataWesleyan UniversityVerified email at wesleyan.edu
- Bassel MannaaPostdoc, IT University of CopenhagenVerified email at itu.dk
- Rasmus MøgelbergIT University of CopenhagenVerified email at itu.dk
- Andrej BauerUniversity of LjubljanaVerified email at andrej.com
- Peter LeFanu LumsdaineAssistant professor, Dept. of Mathematics, Stockholm UniversityVerified email at math.su.se
- Jason GrossGraduate, Massachusetts Institute of TechnologyVerified email at mit.edu
- Robbert KrebbersAssociate Professor, Radboud University NijmegenVerified email at cs.ru.nl
- 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
- Herman GeuversRadboud University Nijmegen, the NetherlandsVerified email at cs.ru.nl
- Sabine OechsnerPostdoc, University of EdinburghVerified email at ed.ac.uk