Rocco De Nicola

Photo by H. Baumeister

• Full Professor Università degli Studi di Firenze
  • Coordinator of the Ph.D. Program in Informatica e Applicazioni
  • Presidente (Director of Studies) dei Corsi di Laurea in Informatica
• Visiting Professor IMT Lucca
• Editor for:
  • Mathematical Structures in Computer Science (CUP).
  • Electronic Proceedings in Theoretical Computer Science.
• Chairman of the Steering Committees of
  • TGG - Thrustworthy Global Computing.
  • Coordination.
• Member of Gruppo 2003
• Member of IFIP WG 2.2 and of IFIP WG 1.8

De Nicola's research aims at understanding the foundations of distributed computing and at applying the formal techniques based on these foundational studies to the development and the analysis of concurrent distributed systems. Current research concentrates on Network Aware Programming, Global Computing, Service Oriented Computing and Systems Security. De Nicola is the author of over 100 publications in international refereed journals and conference proceedings, and has been invited speaker or lecturer for many international conferences or schools. An outcome of this research is TAPAs, a Tool for the Analysis of Process Algebras, supporting (teaching of) specification and verification of concurrent systems. De Nicola has also contributed to KLAIM, a Kernel Language for Agents interaction and Mobility.

De Nicola is in the ISI-Thomson list of highly cited researchers. De Nicola has been honoured with the title of "Commendatore Ordine al Merito della Repubblica Italiana." USA Patent 6751619 (with A. Rowstrom): Methods and apparatus for tuple management in data processing systems.

• Testing Equivalences Processes TCS paper 1984
• Two Complete set of Axioms for TCSP, Information and Control 1985.
• Testing Equivalences and Fully Abbstract Models for Communicating Processes, PhD Thesis University of Edinburgh 1985.