Professore Computer Science, Dipartimento di Informatica, Università di Pisa e Coordinatore del Comitato Scientifico di Internet Festival

My research interests generally fall in the area of semantic theories for concurrent programming and specification languages. I am also interested in the development of programming languages for highly distributed networks and semantic-based verification environments.

• • 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).
  • RUPOS: (Ricerca per l’Usabilità delle Piattaforme Orientate ai Servizi) è un progetto finanziato da Regione Toscana nell’ambito del programma di aiuti alle imprese per investimenti in materia di ricerca industriale e sviluppo sperimentale (Bando Unico Ricerca e Sviluppo 2008).
  • TESLA: Techniques for Enforcing Security in Languages and Applications.Projects (present)