
|
Contact |
Associate Professor
Gran Sasso Science Institute
67100 L'Aquila (Italy)
 Viale Rendina, 28 Room P2-16
Office Hours: always keen to meet; just drop me an email to fix a meeting.
email ['.'/'dot']
 +39 0862 428 0312
|
|
Highlights |
Recent talks (full list here) |
- BehAPI GSSI is almost in :)
- ChorGram One of my favourtie hobbies
- CIRC Clément Aubert new project on concurrency in reversible computing
- Formal Methods Europe Site about FM in Europe
- GSSI seminars I’m organising the seminars at GSSI: contact me if you are interested to give a talk
|
|
Recent stuff |
Projects |
Tools |
- We are using sequentialisation for precise race-detection in C-like programsData Races in C
- with Roland Kuhn and Hernán MelgrattiWe are defining a behavioural typing discipline grounded on local-first principles for P2P networks where peers communicate via event notificationBehavioural types for local-first principles
- with Agustín Martinez Suñé and Carlos Gustavo PomboWe are defining a dynamic logic indexed with choreographies for the analysis of non-functional properties of communicating systemsChoregraphic and QoS
- with Franco Barbanera and Ivan LaneseWe are setting an abstract framework for choreographies based on formal languagesChoregraphic automata and formal languages
- with Alex Coto and Roberto GuancialeModel-driven testing based on choreographies…a first step. We introduce admissible tests and show how to derive them from global specificationsChoregraphy-driven testing
- with Ugo de’Liguoro and Hernán MelgrattiWe want to equip choreographies with refinement mechanisms in order to enhance modular developmentRefinement of choreographies
- with Hernán MelgrattiWe advocate a different nature of behavioural specifications that concern more data- than control-flow of protocolsData-driven behavioural specifications
- with Christian Bartolo Burlo’, Adrian Francalanza, and Alceste ScalasWe are studying model-driven testing based for client-server architecturs based on binary session typesSession-types for testing
|
|
|
|
Events |
Fun & not so fun stuff |
|
|
|
Latest from eM |
November 29, 2023: STTT paper online at https://link.springer.com/article/10.1007/s10009-023-00728-9
November 21, 2023: attending the PRO3 workshop on software quality at GSSI!
November 08, 2023: teaching again!
November 01, 2023: Preparing for the viva at UBA
October 25, 2023: Amost done with TACAS artefacts
October 23, 2023: ChorGram handles QoS
October 20, 2023: attending FACS 2023
October 18, 2023: TACAS papers submitted! Working on artefacts now
September 11, 2023: ICTAC paper accepted! Very high quality reviewsgit push!
August 03, 2023: STTT paper accepted
|
|
If you’re interested in doing research on decentralised finance (DeFi) and formal methods, we’ll soon advertise two post-doc positions (up-to 24 months; call expected by end 2023) funded by the Italian PNRR PRIN 2022 project DeLICE.
- The posts are at the University of Cagliari (Unica) and the Gran Sasso Science Institute (GSSI); the research will develop formal methods for decentralised finance (DeFi)
- possibility of interaction among research groups in Cagliari, GSSI, University of Sassari and their international research partners, and with mainstream blockchain foundations (e.g., Ethereum Foundation, IOTA Foundation)
- expected skills/expertise: blockchain technologies, smart contracts, decentralised finance, formal methods for modelling and verification, logics
- gross salary: 30K EUR/year (University of Cagliari), 45K EUR/year (GSSI)
|
|