Research projects I've been involved with, 2002–2025.
2023–2025
MUR
MUR
RAP — Resource Awareness in Programming: Algebra, Rewriting, and Analysis
2019–2022
MIUR
MIUR
ASPRA — Analysis of Program Analyses
2015–2016
UniPD
UniPD
ANCORE — Static ANalysis of COncurrent and REactive software systems
2011–2014
MIUR
MIUR
CINA — Compositionality, Interaction, Negotiation, Autonomicity for the future ICT society
2011–2013
UniPD
UniPD
BECOM — Behavioral Equivalences of COncurrent systems by abstract interpretation and Modal logics
2010–2012
MIUR
MIUR
SisteR — Reduction Systems: Synthesis, Refinement and Verification
2009–2011
UniPD
UniPD
AVIAMO — Analysis, verification and abstract interpretation of models of concurrency
2005–2006
MIUR
MIUR
ART — Analysis of Reduction Systems through Transition Systems
2005–2006
CRUI/DAAD
CRUI/DAAD
Models based on Graph Transformation Systems: Analysis and Verification
Bilateral exchange program, Vigoni.
2003–2006
EU RTN
EU RTN
SeGraVis — Syntactic and Semantic Integration of Visual Modelling Techniques
2003–2006
IST FET-GC
IST FET-GC
MyThS — Models and Types for Security in Mobile Distributed Systems
2002–2005
IST FET-GC
IST FET-GC