Get my own profile

Public access

View all6 articles

0 articles

available

not available

Based on funding mandates

### Co-authors

- Peter LeFanu LumsdaineAssistant professor, Dept. of Mathematics, Stockholm UniversityVerified email at math.su.se
- Benedikt AhrensDelft University of TechnologyVerified email at tudelft.nl
- Michael ShulmanAssociate Professor of Mathematics, University of San DiegoVerified email at sandiego.edu
- Jeremy AvigadProfessor of Philosophy and Mathematical Sciences, Carnegie Mellon UniversityVerified email at cmu.edu
- Alexander KurzChapman UniversityVerified email at chapman.edu
- Liang Ze WongInstitute of High Performance ComputingVerified email at uw.edu
- Peter ArndtVerified email at hhu.de
- Aleksander EssexAssociate Professor of Software Engineering, Western University CanadaVerified email at uwo.ca
- I. Moerdijkhoogleraar wiskunde, Universiteit UtrechtVerified email at uu.nl
- Christian SattlerChalmers University of TechnologyVerified email at chalmers.se
- Andrew TonksDepartamento de Álgebra, Geometría y Topología. Universidad de MálagaVerified email at uma.es
- Maru SarazolaAssistant Professor, University of MinnesotaVerified email at umn.edu
- Andrej BauerUniversity of LjubljanaVerified email at andrej.com

Follow