About Roberto Lombardi

Hi! I am an Italian middle school teacher. My passion is logic in its entirety, but above all HoTT (Homotopy Type Theory) and 'Epistemic Temporal Logic with iteration constraints and game theory' (if it exists—let's say I practice by creating exercises on these subjects...); I am also a huge fan of Modal Logic and Gaussian Matrices.

Lists

Timeline

RobertoLombardi has no activity yet