- 2019: site manager of IT-Matters
- 2018: co-PI RCADE (EU MSCA Fellowship) Claudio Mezzina joined in September 2018 our department as MSCA fellow collaborating with Irek Ulidowski and me on causal consistency reversible debuggers; the project is discontinued since, shortly after the start, Claudio got a permanent job in Italy
- 2017: Scientific mentor of the Daphe Jackson fellowship of Dr. Paula Severi
- 2015-2019: RC “Reversible Computation. Extending Horizons of Computing” (EU Cost Action 1405, 01/07/2015-30/04/2019)
- 2012-2016: BETTY “Behavioural Types for Reliable Large-Scale Software Systems”. Member of the management committee (EU Cost Action IC1201 - RTD Framework Programme, 26-01-2012 al 07-10-2016)
- 2011-2015: MEALS “Mobility between Europe and Argentina applying Logics to Systems” (7th Framework programme under Marie Curie’s International Research Staff Exchange Scheme)
- 2010-2014: ASCENS “Autonomic Service-Component Ensembles”, EU Integrated Project - 7th Framework Programme (FP7) and part of Future Emerging Technologies initiative Contract 257414
- 2009: Co-PI PAIS Process Algebras for Interaction and Spatiality. British-Italian Partnership Programme for Young Researchers British Council and CRUI, 1/1/2009-31/12/2009, GPB 3,000.
- 2008-2013: Co-PI Tracing Networks “Craft Traditions in the Ancient Mediterranean and Beyond” (overall GBP 1,729,180 of which GBP 277,674 to the Department of Computer Science funded by Levehulme Trust, 01-10-2008 al 30-09-2013)
- 2005-2009: Sensoria “Software Engineering for Service-Oriented Overlay Computers” (project funded by the EU as Integrated Project in the 6th Framework Programme (FP6) as part of the Global Computing Initiative (GC) IST-2005-16004)
- 2006-2008: PI HiDe4SOC. History-Dependent Automata for SOC. Awarded by Nuffield Foundation for newly appointed lectures (ref. NAL 32612, £5,000, 01-05-2006 al 30-04-2008)
- 2002-2005: AGILE “Architectures for Mobility” (EC FET: Global Computing, IST-2001-32747, 1/1/2002-30/4/2005)
- 2002-2005: DEGAS “Design Environments for Global Applications” (EC FET: Global Computing, IST-2001-32072 1/1/2002-30/4/2005)
- 2002-2005: PROFUNDIS. Proofs of Functionality for Mobile Distributed Systems (EC FET: Global Computing IST-2001-33100, 1/1/2002-30/4/2005)
- 2001-2003: NAPOLI. Models, Calculi and Languages for Network Aware Programming, Italian PRIN project
- 2001-2002: NAPI. Network Aware Programming Interoperability (Microsoft Research Cambridge)
- 2001: COMETA. Computational Metamodels (MIUR COFIN 2001)
- 1999-2001: TOSCA (COFIN)
- 1996-1999: CONFER2 “Concurrency and Functions: Evaluation and Reduction” (FP4_21836, 1/11/1996-31/10/1999, 01/01/1999-30/12/2019)