Matteo Spadetto, from the University of Leeds, has joined the lab as a postdoctoral research fellow within the STENDHAL project. Matteo is an expert in categorical logic and homotopy type theory. Welcome!