su appuntamento dopo richiesta via e-mail.
Vedi sezione in Inglese
Vedi Curriculum Inglese
Vedi corrispondente sezione in Inglese
Legenda
PRESENT POSITION
Full Professor INF/01 University of Florence from December 2015.
PAST POSITIONS
- February 2000- November 2015 Associate Professor INF/01 University of Florence
- March 1999 – January 2000 ‘Primo Ricercatore’ at CNUCE - CNR
- November 1988 - March 1999 ‘Collaboratore Tecnico Professionale’ and then ‘Ricercatore’ at CNUCE Institute of the Italian CNR.
- Graduated in Computer Science at the university of Pisa
ANDREA BONDAVALLI
Full Professor of Computer Science | University of Florence
Department of Mathematics and Computer Science | Resilient Computing Lab (RCL) | Updated August 2026
Professional Profile
Andrea Bondavalli is Full Professor of Computer Science at the University of Florence. His research career spans more than thirty-five years in dependable and secure computing, from fault-tolerant distributed and real-time systems to cyber-physical systems, systems of systems, resilient critical infrastructures, trustworthy artificial intelligence, and software-defined critical platforms. He leads the Resilient Computing Lab (RCL) and is Vice-President, for a second mandate, of the CINI National Laboratory on Embedded Systems and Smart Manufacturing, coordinator of the University of Florence node, and representative of the University of Florence on the CINI Board.
His current research focuses on trustworthy AI for critical applications, runtime assurance, safe machine learning, anomaly and intrusion detection, verification and validation, safety-security co-engineering, resilient embedded platforms, Software Test Libraries, certification, and quantitative dependability assessment. Application domains include transportation and railway systems, industrial automation, autonomous systems, and critical infrastructures.
Education and Academic Positions
Further Education and International ExperienceAwards and RecognitionTeaching and Educational Activities
He has continuously taught two to three courses per year in the BSc and MSc programmes in Computer Science at the University of Florence. Courses have included Computer Architectures, Quantitative Analysis of Critical Systems, Dependable Computing, Distributed Real-Time Systems, Resiliency, Real-Time and Certification, Resilient and Secure Cyber-Physical Systems, and Verification and Validation Methodologies. He promoted the MSc curriculum "Resilient and Secure Cyber Physical Systems".
Research Interests
Dependable and secure computing; safety-critical and resilient systems; embedded and real-time systems; cyber-physical systems and systems of systems; trustworthy AI and machine learning for critical applications; runtime assurance; anomaly and intrusion detection; fault-tolerant architectures; verification, validation and certification; safety-security co-engineering; resilient embedded and software-defined systems; Software Test Libraries; quantitative dependability and resilience assessment.
Research Projects and Funding
Andrea Bondavalli has coordinated or participated in a long stream of European, national, regional and industrial research projects since Framework Programme 2. Selected recent and major projects include:
Project / Programme
PM
Funding
Role
Shift2SDV
45
HORIZON-JU-Chips-2024-1-IA
Senior participant and proposal PI
CogniSafe
29
Eurostars / MUR
S2 - Safe and Secure Industrial IoT
18
PRIN 2022 / MUR
Scientific Coordinator / PI
EcoCyber - PNRR PE7 Spoke 8
80
MUR PNRR
Local PI
RFI programmes on wireless interlocking, URV/SIPAC V&V and fail-safe platforms
multiple
Rete Ferroviaria Italiana
Principal Investigator
ADVANCE
20
H2020-MSCA-RISE-2018
DEVASSES
24
FP7-PEOPLE-2013-IRSES
AMADEOS
69
FP7-ICT-2013-10-610535
Project Principal Investigator
CECRIS
-
FP7-PEOPLE-2012-IAPP-324334
Project Coordinator
Cooperation with Industry and Professional Activities
Academic Leadership and ServiceDoctoral Education and Supervision
He has supervised more than 20 PhD students in Computer Science and Computer Engineering and has served on approximately 20 PhD examination committees in European universities.
Selected Keynote and Invited TalksEditorial and Scientific BoardsLeadership in International ConferencesScientific Publications and Bibliometric Indicators
Andrea Bondavalli (ORCID 0000-0001-7366-6530) has authored more than 300 scientific publications, including more than 60 journal papers and more than 170 peer-reviewed conference and workshop papers.
Profiles: FLORE | DBLP | Google Scholar | RCL
Safety Critical Systems, Embedded Real-time systems, Cyber Physical Systems, Systems of Systems.
Fault tolerant mechanisms and Architectures.
Machine learning applied to critical systems.
Verification, Validation, Certification, Quantitative evaluation and assessment of QoS.
