I'm a master's graduate in mathematics about to start a PhD in Categorical Logic & Homotopy Type Theory at the University of Leeds (UK). I also enjoy Model Theory, Algebraic Topology and Functional Analysis. 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.
Utrecht, Paesi Bassi
Member for 1 year, 3 months
1 profile view
Last seen Jul 22 at 12:35