Get my own profile

Public access

View all16 articles

0 articles

available

not available

Based on funding mandates

### Co-authors

- Lars BirkedalDept. of Computer Science, Aarhus UniversityVerified email at cs.au.dk
- Patrick BahrIT University of CopenhagenVerified email at itu.dk
- Rasmus Lerchedahl PetersenMicrosoft ResearchVerified email at microsoft.com
- Bassel MannaaPostdoc, IT University of CopenhagenVerified email at itu.dk
- Ranald CloustonLecturer, Australian National UniversityVerified email at anu.edu.au
- 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
- Andrew M PittsEmeritus Professor of Theoretical Computer Science, University of CambridgeVerified email at cl.cam.ac.uk
- Marco PaviottiLecturer in Computer Science, University of KentVerified email at kent.ac.uk
- Giuseppe RosoliniProfessor of Mathematical Logic, Università degli Studi di GenovaVerified email at unige.it