Get my own profile

Public access

View all14 articles

0 articles

available

not available

Based on funding mandates

### Co-authors

- Lars BirkedalDept. of Computer Science, Aarhus UniversityVerified email at cs.au.dk
- Rasmus Lerchedahl PetersenMicrosoft ResearchVerified email at microsoft.com
- Patrick BahrAssociate Professor, IT University of CopenhagenVerified email at itu.dk
- 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 PittsProfessor of Theoretical Computer Science, University of CambridgeVerified email at cl.cam.ac.uk
- Marco PaviottiImperial College LondonVerified email at ic.ac.uk
- Giuseppe RosoliniProfessor of Mathematical Logic, Università degli Studi di GenovaVerified email at unige.it