Naïm Camille Favier
5,519
reputation
PhD student at Chalmers University of Technology working on cubical type theory.