Research on "Formal Methods in Computing"
Design and foundations for object-oriented languages
Sub-structural logics, formulae-as-types
My DBLP pubblications
Publications of my research group "Formal methods in computing" (click my name on the left-hand side to access my papers)
- PhD students:
Silvia Likavec (co-tutel
with Pierre Lescanne, École Normale Supérieure, Lyon, France),
Jarek Kusmierek (co-advisor: Pawel
Urzyczyn, Warsaw University, Poland), 2006-2010.
Didattica, in italiano)
"Formal Methods in Computing" group]
Oct 22, 2013