Curriculum Vitae and Research Statement

My research focuses on the study of computa-tional models which are related, in a broad sense, to proof theory, with an emphasis on the point of view provided by linear logic. More specifically, my research activity has so far contributed to the following areas (more or less in chronological order): 1. subsystems of linear logic with bounded time properties (a proof-theoretic approach to im-plicit computational complexity); 2. the denotational semantics of programming languages and proof systems, in particular of interaction nets (a computational model de-rived from linear logic proof nets), but also proof nets, differential interaction nets, pur