Get my own profile
Public access
View all17 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