I am a doctoral student at the University of Verona. My research interests are quantum programming languages, in particular semantics and static analysis of quantum programming languages.