University of of Florence, Department of Mathematics and Informatics, The Resilient Computing Lab
The Resilient Computing Lab (RCL) is a team and laboratory affiliated with the Department of Mathematics and Informatics „Ulisse Dini“ at the University of Florence.
RCL activities focus 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 reliable, safe, and secure computer-based systems;
- Quantitative evaluation of dependability, security, and Quality of Service through analytical and simulative techniques;
- Trustworthy artificial intelligence and 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.
You are encouraged to contact us if you need any further information.
- Prof. Andrea Bondavalli
- Full Professor of Computer Science and Head of the Resilient Computing Lab.
- Prof. Francesco Flammini
- Full Professor at UNIFI, contributing heavily to the RCL and computer science Ph.D. steering board.
- Prof. Andrea Ceccarelli
- Associate Professor in Computer Science.
- Cooperative and Automated Mobility (CCAM) Research: Dr. Andrea Ceccarelli participated in the doctoral evaluation of research detailing how cybersecurity threats—such as jamming attacks—impact the safety and performance of connected vehicles.
- Academic and Thesis Achievements: The department awarded prizes for top computer science theses, notably recognizing outstanding academic contributions by students Manuel Drago and Davide Zhang.
- Security for Autonomous Systems: Faculty, including lab head Prof. Andrea Bondavalli, have been exploring trustworthy AI frameworks, developing taxonomies for resilient artificial intelligence in critical infrastructure and autonomous systems.
- Risk and Threat Modeling: The lab continues to advance security assessments using meta-frameworks like ADVISE, examining continuous compliance for systems spanning rail, industrial control (ICS/OT), and AI-integrated architectures.
For more information go to: https://www.dimai.unifi.it/
