Get my own profile

### Co-authors

- Bas SpittersAssociate Professor, Aarhus UniversityVerified email at cs.au.dk
- Hongseok YangProfessor, School of Computing, KAISTVerified email at kaist.ac.kr
- Ohad KammarUniversity of Edinburgh School of InformaticsVerified email at ed.ac.uk
- Aleks KissingerAssistant Professor, Radboud UniversiteitVerified email at cs.ru.nl
- Bart JacobsProfessor of Software Security and Correctness, Radboud University NijmegenVerified email at cs.ru.nl
- Bob CoeckeProfessor of Quantum Foundations, Logics and Structures, University of OxfordVerified email at cs.ox.ac.uk
- Manuel ReyesAssociate Professor of Mathematics, Bowdoin CollegeVerified email at bowdoin.edu
- Jamie VicaryRoyal Society University Research Fellow, University of BirminghamVerified email at cs.ox.ac.uk
- Benno van den BergAssistant professor, University of AmsterdamVerified email at uva.nl
- Samson AbramskyProfessor of Computer Science, Oxford UniversityVerified email at cs.ox.ac.uk
- Tobias FritzPerimeter Institute for Theoretical PhysicsVerified email at perimeterinstitute.ca
- Frank WoodUniversity of British ColumbiaVerified email at cs.ubc.ca
- Martti KarvonenUniversity of OttawaVerified email at uottawa.ca
- Ichiro HasuoAssociate Professor of Computer Science, National Institute of InformaticsVerified email at acm.org
- Ravi KunjwalUniversité libre de Bruxelles (ULB)Verified email at ulb.ac.be
- Adam ŚcibiorUniversity of British ColumbiaVerified email at cs.ubc.ca
- Matthijs VákárAssistant Professor, Utrecht UniversityVerified email at cs.ox.ac.uk
- Dominic HorsmanChaire d'Excellence, Université Grenoble AlpesVerified email at univ-grenoble-alpes.fr
- sergio boixoGoogleVerified email at boixo.com
- Peter SelingerProfessor of Mathematics, Dalhousie UniversityVerified email at mathstat.dal.ca

Chris Heunen

Verified email at ed.ac.uk - Homepage