Rocco De Nicola

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.

Rocco's homepage