Mathematician and computer scientist. Interested in computable foundations of geometry and higher algebra.
For now, there is a mysterious emptiness on this page.
(he/him)