I am an Assistant Professor in the Faculty of Informatics at the University of Lugano (USI), Switzerland.

Research interests: programming languages, compilers, tools, and methodologies for constructing safe, secure, and efficient systems.