Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

Curriculum Vitae ROCCO DE NICOLA

Summary: 1
Curriculum Vitae
De Nicola is a full professor at Dipartimento di Sistemi e Informatica of the University of Firenze
(Italy) since 1995. He received the Laurea degree in Computer Science from the University of Pisa
(Italy) in 1978 and the Ph.D. degree in Computer Science from the University of Edinburgh (UK)
in 1985. From 1990 till 1995, he has been a full professor at the Dipartimento di Scienze
dell'Informazione of the University of Rome 'La Sapienza' (Italy). Before that he was a full time
researcher at IEI-CNR, Pisa from 1983 to 1990 and worked at Edinburgh University and for Italtel
in Milano. De Nicola has been invited professor at Technische Universitat Berlin (1994) Ecole
Normale Superieure de Paris (2004) and LMU Munich (2004) and visiting researcher at Microsoft
Cambridge (1999 and 2003).
De Nicola's research interests are centered around distributed concurrent systems and
specifically concern design methods and specifications techniques and their use for formal
verification. He is the author of over eighty publications in international journals or edited
conference proceedings and is a member of the IFIP W.G. 2.2 since 1990. He has been an "invited
speaker" at various international conferences and schools and has been member of many program
committees of international conferences (AMAST, CAAP, CONCUR, COORDINATION, FCT,
ICALP, LICS, MA, PROCOMET, PPDP, ...) and many workshops. De Nicola has been Program
Chair for PPDP 2001 and COORDINATION 2004 and will be chairing the Working Conference on


Source: Aceto, Luca - School of Computer Science, Reykjavík University


Collections: Mathematics; Computer Technologies and Information Sciences