Get my own profile

### Co-authors

- Bas SpittersAssociate Professor, Aarhus UniversityVerified email at cs.au.dk
- Aleks KissingerAssistant Professor, Radboud UniversiteitVerified email at cs.ru.nl
- Hongseok YangProfessor, School of Computing, KAISTVerified email at kaist.ac.kr
- Ohad KammarUniversity of Edinburgh School of InformaticsVerified email at ed.ac.uk
- 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
- 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
- Martti KarvonenUniversity of OttawaVerified email at uottawa.ca
- Tobias FritzPerimeter Institute for Theoretical PhysicsVerified email at perimeterinstitute.ca
- Frank WoodUniversity of British ColumbiaVerified email at cs.ubc.ca
- Ichiro HasuoAssociate Professor of Computer Science, National Institute of InformaticsVerified email at acm.org
- Ravi KunjwalPerimeter Institute for Theoretical PhysicsVerified email at perimeterinstitute.ca
- 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
- Ivan ContrerasAmherst CollegeVerified email at amherst.edu

Chris Heunen

Verified email at ed.ac.uk - Homepage