I'm a PhD student in Mathematics at the University of Leeds (UK). Categorical Logic and Homotopy Type Theory are my main interests. I also enjoy Model Theory, Functional Analysis and Algebraic Topology. Gennaro Pasquale is just a nickname, for my actual name is Matteo Spadetto.
Sic unumquicquid paulatim protrahit aetas
in medium ratioque in luminis erigit oras.
Namque alid ex alio clarescere corde videbant,
artibus ad summum donec venere cacumen.
Leeds, Regno Unito
Member for 1 year, 1 month
7 profile views
Last seen Oct 24 at 21:33