Welcome to the Resilient Computing Lab (RCL)

RCL is a research group of the Department of Mathematics and Informatics (DiMaI, "Dipartimento di Matermatica e Informatica") of the University of Florence. RCL research activities focus mainly in research and experimentation of dependable architectures and systems. RCL is currently involved in research spanning the following areas:

  • Architectures and techniques for resilient systems and infrastructures;
  • Quantitative dependability and QoS evaluation.

Details on where we are, who we are, and our projects are available on this website.
For further information, please contact prof. Andrea Bondavalli.

Last DEVASSES Secondments at UNIFI PDF Print E-mail
Wednesday, 20 December 2017 15:43

Within the last two months, two professors from Universidade Federal de Alagoas (UFAL, in Maceió, Brazil) joined RCL as part of the DEVASSES project. Prof. Leandro Dias da Silva and prof. Tiago Figuereido Vieira shared their work through the following seminars:

  • Leandro: 

    Formal methods for system specification 

    (October 23rd)
  • Tiago: Assessing Machine Learning Techniques for Vulnerability Prediction (November 23rd)
These talks allowed to start and build collaborative works with people at UNIFI.
20171023 153050
WhatsApp Image_2017-12-20_at_15.40.03

Resilient Computing Lab, 2011

Joomla - Realizzazione siti web