Dipartimento di Informatica
Università di Pisa
- Semantics of Concurrency
- Process Description Languages
- Constraint Programming
- Graph Rewriting Systems
- Algebraic and Categorical Models of Concurrency
- Models and Languages for Open Distributed Systems
- ASCENS - Autonomic Service-Component Ensambles. It is an Information Society Technologies (IST) project funded by the EU as Integrated Project (IP) in the 7th Framework Programme (FP7) as part of the Future Emerging Technologies Proactive Initiative (FET Proactive).
- CINA: Compositionality, Interaction, Negotiation, Autonomicity for the future ICT society, PRIN MIUR project, coordinated by Rocco De Nicola.
- WRLA 2018, the 12th International Workshop on Rewriting Logic and its Applications
- An ETAPS 2018 satellite event - Thessaloniki, Greece, April 14-15 2018
Teaching and Professional Service
- Member of the Steering Committee (or equivalent) of the following periodic events:
Last modified: 02–Oct-17