The aim of the REoCAS Colloquium in honor of the 70th birthday of Rocco De Nicola was to acknowledge his scientific impact on the field of collective adaptive systems and, more in general, his much broader legacy in concurrency theory, distributed systems, and formal methods, exploring Rocco’s more recent contributions to cybersecurity. Numerous colleagues have contributed to this task. With this paper, we wish to provide an overview of Rocco’s efforts in shaping computer science research within IMT School for Advanced Studies Lucca, which Rocco has fundamentally shaped since his appointment until his serving as Rector for 2021–2024.

Systems Security Modeling and Analysis at IMT Lucca

Gabriele Costa;Silvia De Francisci;Letterio Galletta;Cosimo Perini Brogi;Fabio Pinelli;Roberto Pizziol;Manuel Pratelli;Margherita Renieri;Simone Soderi;Mirco Tribastone
;
Serenella Valiani
2024-01-01

Abstract

The aim of the REoCAS Colloquium in honor of the 70th birthday of Rocco De Nicola was to acknowledge his scientific impact on the field of collective adaptive systems and, more in general, his much broader legacy in concurrency theory, distributed systems, and formal methods, exploring Rocco’s more recent contributions to cybersecurity. Numerous colleagues have contributed to this task. With this paper, we wish to provide an overview of Rocco’s efforts in shaping computer science research within IMT School for Advanced Studies Lucca, which Rocco has fundamentally shaped since his appointment until his serving as Rector for 2021–2024.
2024
978-3-031-73709-1
978-3-031-73708-4
File in questo prodotto:
File Dimensione Formato  
978-3-031-73709-1_2.pdf

non disponibili

Tipologia: Versione Editoriale (PDF)
Licenza: Copyright dell'editore
Dimensione 245.77 kB
Formato Adobe PDF
245.77 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/20.500.11771/31381
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
social impact