A researcher in computer science who just finished a research fellow at DIBRIS, University of Genoa. Research interests are on the design of resource-aware programming languages, particularly focused on the design of graded type systems and semantics.