Mathematician and computer scientist. Interested in computable foundations of geometry and higher algebra.
Download talk notes