su appuntamento dopo richiesta via e-mail.

Vedi sezione in Inglese

Vedi Curriculum Inglese

Vedi corrispondente sezione in Inglese

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 was born in Reggio Emilia on November 26, 1960.

Married with three children. Italian citizen.

URL WebServ http://rcl.dsi.unifi.it

Laurea degree in Computer Science - University of Pisa

Further Education, Experiences abroad

- 1987: CNR Fellowship in TECNOLOGIA DELLA INFORMAZIONE Progetto RETI DI CALCOLATORI awarded at CNR-CNUCE.

- 1991-92 – 1 year at the University of Newcastle upon Tyne (UK) – -Brian Randell

- 2002: 3 months Visiting Professor, EPFL, Lausanne (CH)- Prof. Andrè Schiper

- 2005: 1 month visiting professor Budapest University of Technology and Economics visiting Prof. Andras Pataricza.

- Secondments for a total of 3 months at the universities of Estatual de Campinas and Federal de Alagoas (Brazil) in the framework of the PIRSES-GA-2013-612569 (FP7-PEOPLE) “DEVASSES”

- Secondments for a total of 2 months at Prolan (Hungary) in the framework of the FP7-PEOPLE-2012-IAPP-324334 “CECRIS: CErtification of CRItical Systems”

- Secondments for a total of 1 months at the Institudo Nacional de Pesquisas Epaciais INPE (Brazil) in the framework of the H2020-MSCA-RISE-2018, 823788 (FP7-PEOPLE) “ADVANCE”

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.

AWARDS

Andrea received the award of

• IEEE TCHS Outstanding Leadership Award from the IEEE Systems, Man, and Cybernetics (SMC) Technical Committee on Homeland Security (TCHS)- USA- on 24/07/2022
• Doctor Honoris Causa from the Budapest University of Technology and Economics – HUN - on 25/05/2019.

TEACHING

Andrea has been teaching 2-3 courses per year in the bachelor and master programs in computer science at the University of Florence. In the academic year 2023-2024 he teaches:

- ‘Architetture degli Elaboratori’ of the 1st level degree in Computer Science

- ‘Resiliency Real Time and Certification’  of the 2nd level degree in Computer Science

TEXT BOOKS

• A. Bondavalli (ed.), "L'analisi Quantitativa dei Sistemi Critici", Esculapio Bologna, 2011 https://www.amazon.it/Lanalisi-quantitativa-dei-sistemi-critici/dp/8874884311 ISBN: 8874884311 

• A. Bondavalli, S. Boukenak, H. Kopetz (Eds.) ‘Cyber-Physical Systems of Systems Foundations – A Conceptual Model and Some Derivations: The AMADEOS Legacy’. Springer Verlag 2016, ISBN: 978-3-319-47589-9 (Print) 978-3-319-47590-5 (Online).

Textbooks for ‘Architecture, Model and Analysis of Cyber Physical Systems’ fundamental course for the curriculum ‘Resilient and Secure Cyber Physical Systems’ of the 2nd level degree in Computer Science

RESEARCH INTERESTS

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.

RESEARCH PROJECTS

Andrea Bondavalli has a vast experience having been principal investigator and a contributor of a long stream of research and industrial projects. Descriptions can be found at https://www.dimai.unifi.it/p468.html

Hereafter the grants started from 2014 are reported with start and end dates.

• S2 -  Safe and Secure Industrial Internet of Things PRIN 2022 202297YF75- ( 2023-2025) - Start date: September 2023, End date: September 2025 (60K euro)

• RFI - Safety-Critical Architectures (2012-2024) - Start date: June 2022, End date: June 2024 (550K euro)

• Regione Toscana POR FESR Toscana 2014-2020 “Smart Passenger Center (SPACE). Start date: 2020-10-01 End date: 2022-09-30 

• RFI - Safety-Critical Architectures (2018-2021) - Start date: July 30 2018 End date sept 30 2021 (750K euro)

• H2020-MSCA-RISE-2018, number 823788 - Addressing Verification and Validation Challenges in Future Cyber-Physical Systems (ADVANCE). Start date: 01-01-2019, End date: 31-12-2022 (131K euro)

• REGIONE TOSCANA: POR FESR 2014 – 2020 "SISTER: SIgnaling & Sensing TEchnologies in Railway applications" Start date: 01-01-2017, End date: 31-12-2018 (200K euro)

• REGIONE TOSCANA: FAR-FAS 2014 - "TOSCA-FI: Tool Optoelettronico per Strutture in Calce cemento Acciaio - Ferrovie Italiane" Start date: 01-01-2017 End date: 31-12-2018 (120K euro)

• PIRSES-GA-2013-612569 (FP7-PEOPLE) “DEVASSES: DEsign, Verification and VAlidation of large scale, dynamic Service SystEmS” Start date: 01-10-2014 End date: 31-12-2017 (170K euro)

COOPERATION WITH INDUSTRIES AND PROFESSIONAL ACTIVITIES

Andrea has long cooperation relationships with industries and other public organizations and professional organizations.

• Expert for the European Commission for the selection of project proposals in the 6th, 7th frameworks and in H2020 (in MSC, ICT, Trust&Security; Embedded Systems)

• Expert for the European Commission for the evaluation and assessment of projects

• Expert for the evaluation of project proposals for many European national Organisations.

• Consultant of the EEIG ERTMS Users Group for the safe interface RBC-RBC standard.

Andrea has co-founded a startup company “ResilTech S.r.l.”, which operates in design and V&V for critical systems. Resiltech s.r.l., founded in the last quarter of 2007, has now more than 40 employees and collaborators and has been until 2016 an academic SPINOFF of the University of Florence. http://www.resiltech.com/

He holds also a patent: He is co-Inventor of the Brevetto italiano 102015000072477, Methods and apparatus for resilient time signalling (N.PCT/IB2016/056768)

ACADEMIC ACTIVITIES

Andrea has served as the chair of the “Consiglio dei Corsi di Studio in Informatica” of the University of Florence for the term 2017-2020. He is the promoter of the Curriculum ‘Resilient and Secure Cyber Physical Systems’ of the 2nd level degree in Computer Science.

Moreover he has been part of the Boards of the Doctoral schools:

- 2021- current: Università di FIRENZE "MATEMATICA, INFORMATICA, STATISTICA" – Cycles: 37-38….

- 2013-2018: Università di FIRENZE "MATEMATICA, INFORMATICA, STATISTICA" - Cycles: 29--33

- 2012: Università di PISA Titolo: "INFORMATICA" - Cycle: XXVIII

- 2009: Università di FIRENZE: "INFORMATICA ED APPLICAZIONI" Cycle: XXV PhD schools

- Since 2021 he is the reference for the curricula Computer Science of the Informatica Curriculum of the Doctorate "MATEMATICA, INFORMATICA, STATISTICA"

Andrea besides teaching in a number of Doctoral summer and winter schools, has been a co- director of

- SecureCI2016 “Winter School: Securing Critical Infrastructures” January 17th - 21st, Cortina d'Ampezzo, Italy

- Winter School: “Hot Topics in Secure and Dependable Computing for Critical Infrastructures”, Jan. 15-19 2012, Cortina D'Ampezzo, Italy

He has also been a member of the PhD juries of about 20 candidates in Europe.

Advisor of the PhD students

Current

• Marzieh Kordi – PhD National school in Cybersecurity – IMT Lucca;

• Tommaso Puccetti - Matematica, Informatica, Statistica - Universita di Firenze;

• Francesco Terrosi - Matematica, Informatica, Statistica - Universita di Firenze.

• Francesco Mariotti - Matematica, Informatica, Statistica - Universita di Firenze.

Graduated students:

• Atif Muhammad - Matematica, Informatica, Statistica - Universita di Firenze;

• Mirko Staderini - Matematica, Informatica, Statistica - Universita di Firenze;

• Hafiza Maria Maqsood - Matematica, Informatica, Statistica - Universita di Firenze;

• Enrico Schiavone - Matematica, Informatica, Statistica - Universita di Firenze ;

• Tommaso Zoppi - Matematica, Informatica, Statistica - Universita di Firenze.

• Nicola Nostro - Computer Engineering - University of Firenze;

• Leonardo Montecchi - Computer Engineering - University of Firenze;

• Andrea Ceccarelli – Computer Engineering - University of Firenze;

• Francesco Brancati - Computer Science - University of Firenze;

• Alessandro Daidone - Computer Science - University of Firenze;

• Lorenzo Falai - Computer Engineering - University of Firenze;

• Paolo Lollini - Computer Science – University of Firenze;

• Stefano Porcarelli - Computer Engineering – University of Pisa;

• Domenico Cotroneo - Computer Engineering – University of Napoli Federico II;

• Andrea Coccoli - Computer Engineering - University of Pisa);

• Ivan Mura - Computer Engineering - University of Pisa;

Keynote Speeches:

• “Dependability Challenges in Safety-Critical Systems: the adoption of Machine learning” at ‘SRDS 2022’ 41st IEEE Symposium on Reliable Distributed Systems, Vienna, Austria, September 2022.

• “Intrusion Detection Through (Unsupervised) Machine Learning: Pros, Limitations and Workarounds”  the 2022 IEEE International Conference on Cyber Security and Resilience, virtual, July 2022.

• “Anomaly Detection for Complex Dynamic System”, at FARES 2017 - The 12th International Workshop on Frontiers in Availability, Reliability and Security, associated to ARES 2017 – Reggio Calabria, Italy August 2017

• “Emergence in Cyber-Physical Systems-of-Systems” at ‘SRDS 2016’ 35th IEEE Symposium on Reliable Distributed Systems, Budapest, Hungary, September 2016.

• “Dependability modeling and analysis methods integrated in model-driven industrial architectural frameworks” at ‘The International Workshop on Model-Based Design for Cyber-Physical System (MB4CP 2015)’ associated to DSN2015, Rio de Janeiro, June 2015.

• “ALARP- A railway automatic track warning system based on distributed personal mobile terminals” at ‘Workshop on Dependable and Secure Computing for Large-scale Complex Critical Infrastructures (DESECLCCI) ‘ associated to Safecomp 2012, Magdeburg, sept. 2012.

• “Model based resilience assessment of critical information infrastructures” at SAFECOMP 2011 Naples, Italy 19 / 21 September 2011

• “HIDENETS: Highly DEpendable ip-based NETworks and Services” at ‘The Inaugural International Workshop on Dependability in Service-oriented Grids’ associated to IEEE SRDS-25 Leeds October 2005.

EDITORIAL BOARDS

He is a member of the editorial board of the International Journal of Critical Computer-Based Systems-IJCCBS. Inderscience publisher; ISSN online: 1757-8787, ISSN print: 1757-8779

SCIENTIFIC BOARDS

He is a member of the Advisory Board of

- LASIGE (Laboratório de Sistemas de Grande Escala) Faculdade de Ciências, Universidade de Lisboa

- GIK (Ghulam Ishaq Khan) Institute of Engineering Sciences and Technology, Pakistan.

GUEST EDITOR

• IEEE Transactions on Dependable and Secure Computing, Special issue on 'DSN-DCCS05' 2006

• IEEE Transactions on Computers, Special issue on 'Reliable distributed Systems' 2004

STEERING COMMITTEE OF INTERNATIONAL CONFERENCES

• SRDS- IEEE Symposium on Reliable Distributed Systems MEMBER 2006-2011 and CHAIR for the terms 2012-2015 and 2016-2019 member 2020-present

• LADC- Latin-American Dependable Computing Conference, MEMBER from 2007 to 2012 and from 2017 - present

• DSN- IEEE International Conference on Dependable Systems and Networks – Member from 2018 to 2020

CONFERENCE CHAIR

• Safecomp-33- (2014) General chair

• SRDS-22 - (2003) General chair

• HASE-05 - 10th IEEE International High Assurance Systems Engineering Symposium (2005) Vice-General chair

• DSN-04 - IEEE DSN (2004) Vice-General chair

• DSN-09 - IEEE DSN (2009) - CONFERENCE COORDINATOR

PROGRAM CHAIR

• IEEE CSR 2023 - 2023 IEEE International Conference on Cyber Security and Resilience. (2023)

• QRS 2022 - The 22nd IEEE International Conference on Software Quality, Reliability, and Security (2022)

• Safecomp-33-(2014)

• LADC 07 - 3rd Latin-American Dependable Computing Conference(2007)

• DSN'05 - IEEE International Conference on Dependable Systems and Networks (2005)

• ISADS'03 - 6th IEEE International Symposium on Autonomous Decentralized Systems (2003)

• EDCC-4 - 4th European Dependable Computing Conference (2002)

• HASE'01 - 6th IEEE International High Assurance Systems Engineering Symposium (2001)

• SRDS-19 - 19th IEEE Symposium on Reliable Distributed Systems (2000)

PROGRAM COMMITTEE MEMBER: Andrea has served as PC member for all the main conferences in the area for 30 years.

SCIENTIFIC PAPERS

Andrea Bondavalli (Orcid: 0000-0001-7366-6530) has published more than 300 papers, more than 60 of which in prestigious International journals and more than 170 papers in international referred conferences and workshops.

https://flore.unifi.it/simple-search?query=&rpp=10&sort_by=bi_sort_1_sort&order=ASC&filter_field_1=author&filter_type_1=equals&filter_value_1=BONDAVALLI%2C+ANDREA#.VXmn80b

Additional links besides the institutional website FLORE

DBLP: http://dblp.uni-trier.de/pers/hd/b/Bondavalli:Andrea

Scholar: http://scholar.google.it/citations?user=rRB5ge4AAAAJ&hl=it

The Web site of the RCL group: http://rcl.dsi.unifi.it/index.php?option=com_jresearch&view=publicationslist&task=list&modelkey=default

CITATIONS: Andrea Bondavalli has, by January 2024

- Google Scholar: more than 5400 citations and an h-index of 34.

- SCOPUS: more than 2550 citations an h-index of 24

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.