Get my own profile
Public access
View all11 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
Michael ShulmanAssociate Professor of Mathematics, University of San DiegoVerified email at sandiego.edu
Benedikt AhrensDelft University of TechnologyVerified email at tudelft.nl
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
Christian SattlerChalmers University of Technology and University of GothenburgVerified email at chalmers.se
I. Moerdijkhoogleraar wiskunde, Universiteit UtrechtVerified email at uu.nl
Udit MavinkurveUniversity of Western OntarioVerified email at uwo.ca
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
Marcelo FioreProfessor in Mathematical Foundations of Computer ScienceVerified email at cl.cam.ac.uk
Andrej BauerUniversity of LjubljanaVerified email at andrej.com
Follow