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 and secure systems, infrastructures and systems of systems. RCL is currently involved in research spanning the following areas:

• Design and experimentation of architectures and techniques for resilient, safety-critical and secure systems;
• Quantitative evaluation of dependability, security and Quality of Service through analytical, simulative and experimental techniques;
• Applications of Machine Learning Techniques (especially Anomaly Detection) in the domain of Critical Systems.

Details on where we are, who we are, and our projects are available on this website.

For further information, please contact prof. Andrea Bondavalli.