Nĭsi lŏquĕris, nescis.

I do not know (it), as long as I cannot talk (about it).

Also known as Gennaro Pasquale.

I'm a postdoc in mathematics and theoretical computer science at the University of Nantes, in France. Categorical logic, (dependent) type theories, homotopy type theory, and their semantics, are my main areas of interest. I also enjoy learning about model theory, functional analysis, and algebraic topology.