David Wärn
dwarn
PhD student interested in homotopy type theory and related topics
Gothenburg, Sweden
Ayberk Tosun
ayberkt
PhD student at the University of Birmingham.
University of Birmingham Birmingham, UK
Alexander J Petri
aljpetri
Doctoral Student at Stockholm University, SciLifeLab
Helsinki University Helsinki