We are happy to announce that Matteo Spadetto, a PhD student from Leeds University specializing in categorical logic and homotopy type theory, will be joining our research group, within the STENDHAL project.