MARTEDI ore 16.30 nel mio ufficio (Stanza 156 - Viale Morgagni 65). Si raccomanda di inviare una mail per segnalare l'intenzione di partecipare al ricevimento.

TUESDAY 16.30 in my office (Room 156 - Viale Morgagni 65). It is strongly recommended to send an email to announce the intention to participate.

- Laurea Triennale conseguita nell'Aprile 2006 presso l'Università degli Studi di Firenze

- Laurea Magistrale conseguita  nell'Ottobre 2008 presso l'Università degli Studi di Firenze

- Dottorato in “Ingegneria Informatica e dell’Automazione” conseguito nell'Aprile 2012 presso l'Università degli Studi di Firenze

- Dal 2012 a Novembre 2021: Ricercatore a Tempo Determinato presso l'Università degli Studi di Firenze

- Dal 1 Dicembre 2021: Professore Associato presso l'Università degli Studi di Firenze

Andrea Ceccarelli è Professore Associato in Informatica dal 2021 presso il Dipartimento di Matematica e Informatica dell'Università degli Studi di Firenze, e precedentemente è stato Ricercatore a Tempo Determinato presso la stessa Università. Ha conseguito la Laurea Triennale e Magistrale in Informativa rispettivamente nel 2006 e 2008. Nel 2012 ha conseguito il Dottorato in Ingegneria Informatica e dell'Automazione, affrontando tematiche relative alla progettazione e alla validazione sperimentale di sistemi critici, in differenti campi applicativi.

Ha partecipato con vari ruoli in numerosi progetti di ricerca regionali, nazionali ed europei. Attualmente è responsabile scientifico della partecipazione CINI al progetto IES-Factory, ed è coinvolto nel progetto Europeo H2020-MSCA-RISE ADVANCE. In passato è stato responsabile scientifico della partecipazione DIMAI al progetto Regionale POR FESR SPaCe, ed è stato coinvolto nei progetti Europei FP7-PEOPLE-2012-IAPP CECRIS, FP7-PEOPLE-2013-IRSES DEVASSES, FP7-ICT-2013-10 AMADEOS, JPI URBAN EUROPE IRENE, IST-FP6-26979 HIDENETS, FP6-IST-031413 SAFEDMI, FP7-IST-234088 ALARP, IST-FP7-216295 AMBER, nei progetti Nazionali PRIN TENACE, PRIN DOTS-LCCI, e nei progetti Regionali POR CREO SILFI, POR-CREO 2007-2013 SECURE!, FAR-FAS 2014 TOSCA-FI and POR FESR 2014-2020 SISTER.

E' stato visiting researcher presso l'azienda Critical Software SA (Portogallo, 2013), la Universidade Federal de Alagoas (Brasile, 2014, 2016, 2017), Universidade Estadual de Campinas (Brasile, 2015, 2019, 2022), e visiting student presso l'Università di Coimbra (Portogallo, 2010 e 2011).

Andrea Ceccarelli è autore e co-autore di oltre 115 lavori tra conferenze Internazionali, workshop, capitoli di libro e riviste. È membro di oltre 80 comitati di programma di conferenze e workshop Internazionali, ed è stato Program Co-Chair di IEEE SRDS 2017, LADC 2018, co-chair dei Workshop RADIANCE @ DSN 2015, RADIANCE @ DSN 2016, RADIANCE @ DSN 2017, IRENE Workshop on Tools for Smart Grid Design and Assessment” @ SmartGift 2017, IRENE: resilient and secure urban power systems@ISC2 2016, poster chair di EDCC 2019, Industry Track chair di LADC 2021, ed è membro dello steering committee di LADC. E' attualmente organizzatore di IWES 2023 a Firenze, della Summer School ARTISAN 2023 a Vienna, e co-chair del Doctoral Symposium di ISSRE 2023, General Co-Chair e Program Co-Chair di SAFECOMP 2024. 

E' socio dello ex-spinoff accademico Resiltech S.r.l., di cui ha contribuito al riconoscimento come spin-off accademico nel 2012. Dal 2014, ha svolto ripetutamente il ruolo di esperto per la revisione di proposte di progetto per la Commissione Europea e per il framework Eureka.

Dal 2021, è membro dell’IFIP Working Group 10.4  on "Dependable Computing and Fault-Tolerance".

CV completo aggiornato a Settembre 2022

I miei principali interessi di ricerca sono nel campo della progettazione e validazione di sistemi sicuri e affidabili. Alcuni degli argomenti che ho affrontato di recente, o su cui mi sto concentrando in questo periodo, sono:

1- Analisi di sicurezza di applicazioni basate su machine learning e intelligenza artificiale, con particolare attenzione al contesto di autonomous driving, e con il supporto di simulatori di guida autonoma.

2- Progettazione e analisi di soluzioni di anomaly detection (identificazione di anomalie), per la costruzione di sistemi di intrusion detection (per l' identificazione di tentativi di intrusioni) o per la rilevazione di fallimenti.

3- Definizione del modello di guasto di GPU, e di possibili soluzioni per la tolleranza ai guasti.

4 - Progettazione e validazione sperimentale (testing) di sistemi embedded, mediante l'applicazione di processi e pratiche secondo gli standard richiesti, con particolare attenzione al dominio ferroviario e automotive.

INFORMAZIONI PER TESI E TIROCINI: vedere la parte Inglese "Note"

- Bachelor Degree in Computer Science: April 2006, Università degli Studi di Firenze

- Master Degree in Computer Science: October 2008, Università degli Studi di Firenze

- PhD in "Informatics and Automation Engineering”: April 2012, Università degli Studi di Firenze

- 2012 - 2021 Research Associate, Università degli Studi di Firenze

- 2021 -- onwards: Associate Professor, Università degli Studi di Firenze

Andrea Ceccarelli is an Associate Professor in Computer Science at the Department of Mathematics and Informatics of the University of Florence (Italy), where he also received the Master degree (cum laude) in 2008, and the PhD in Informatics and Automation Engineering in 2012.

Andrea Ceccarelli has more than 15 years of experience in the design and assessment of dependable and secure systems and System-of-Systems, with a preference for experimental approaches. In the recent period, he started investigating security and safety of AI systems, with a focus on the analysis of their behavior when subject to anomalous inputs, and the consequent definition of countermeasures.

ACADEMIC SERVICES

Andrea Ceccarelli was TPC co-Chair of the Conferences SRDS 2017 (International Symposium on Reliable Distributed Systems), and LADC 2018 (Latin-America Symposium on Dependable Computing). Further, he co-organized five different workshops:

- Three editions of the Workshop RADIANCE (International Workshop on Recent Advances in the DependabIlity AssessmeNt of Complex systEms) held jointly with the conference DSN 2015, DSN 2016, DSN 2017
- IRENE Workshop on “Resilient and secure urban power systems”, held jointly with the IEEE Second International Smart Cities Conference (ISC2), 2016.
- IRENE Workshop on “Tools for Smart Grid Design and Assessment” held jointly with the conference SmartGift 2017.

Also, he held the roles of Poster Chair at EDCC 2019, Publication Chair at SRDS 2016 and SAFECOMP 2014, co-chair of LADC 2021 Industry Track, and he is a Steering Committee member of LADC.

He was amongst the organizers the summer schools ARTISAN 2021 (virtual) and 2022 (Valence, France) on "ARTISAN - Role and effects of ARTificial Intelligence in SecureApplicatioNs" togheter with O. Aktouf (Grenoble INP, France) and O. Jung (AIT, Austria).

He is regularly involved in the Program Committee of Conferences and Workshops: overall, he has been member of above 80 TPCs of conferences and workshops, including venues as IEEE/IFIP DSN, IEEE SRDS, IEEE ISSRE, AAAI, IEEE NCA.

He is currently co-organizing the workshop IWES 2023 in Florence, the Summer School ARTISAN 2023 in Wien, and he is co-chair of the Doctoral Symposium at ISSRE 2023.

Amongst main speaking activities, he was invited speaker at:
- Fault Tolerance Workshop, held at SBRC (Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos), 2020. Talk Title: On failures of RGB cameras and their effects in autonomous driving applications
- "LCIS Scientific Day" at LCIS- Grenoble INP (Valence, France, 2019). Talk title: On conceptualizing, modeling and engineering evolutionary time-aware Cyber-Physical Systems of Systems
- IFIP Working Group 10.4 on Dependable Computing and Fault Tolerance, Workshop on "Security Assessment: Metrics and Methods" 2014, Sorrento, Italy. Talk title: Design and Security Assessment of a Protocol for Continuous User Identity Verification.

and panelist at:

- IEEE 14th International Symposium on High-Assurance Systems Engineering (HASE) 2012, panel title: "The Fundamentals of Establishing Successful Public and Private Sector Partnerships with Academia"
- 36th International Symposium on Reliable Distributed Systems” (SRDS) 2017, panel title: “Reliability and Security in the era of Big Data and IoT”

ROLE AND PARTICIPATION IN RESEARCH PROJECTS

Andrea Ceccarelli participated to multiple research projects, with different roles and responsibilities, as reported below.

- Responsible of the CINI participation to the IES Factory project.

- Principal Investigator of the POR CREO FESR 2020 SPaCe Smart Passenger Center.

- Responsible for the unit "Dept. of Math. and Informatics" for the project MineHep: data mining in High Energy Physics (2018-2019). Project sponsored by the University of Florence for young researchers.

Technical coordinator of the unit in:
- Regional Project POR-CREO 2007-2013 Bando unico R&S Anno 2012 SECURE! - Smart platform based on crowdsourcing and crowdsensing technologies for safety and for the management of crisis and emergencies (2013-2015)
- JPI Urban Europe 4211064 IRENE - Improving the Robustness of Urban Electricity Networks, 2014-2017

Work Package Leader in:
- H2020-MSCA-RISE ADVANCE - Addressing Verification and Validation Challenges in Future Cyber-Physical Systems, 2019-ongoing
- FP7-PEOPLE-2013-IRSES DEVASSES - DEsign, Verification and VAlidation of large scale, dynamic Service SystEmS, 2014-2017
- FP7-ICT-2013-10 AMADEOS Architecture for Multi-criticality Agile Dependable Evolutionary Open System-of Systems, 2013-2016

Other involvements in projects: European projects FP7-PEOPLE-2012-IAPP CECRIS, IST-FP6-26979 HIDENETS, FP6-IST-031413 SAFEDMI, FP7-IST-234088 ALARP, IST-FP7-216295 AMBER, National projects PRIN TENACE, PRIN DOTS-LCCI, Regional project POR CREO SILFI, FESR 2014-2020 SISTER, PAR FAS 2007-2013 TOSCA-FI.

TECHNOLOGY TRANSFER AND PROJECTS WITH INDUSTRIES

Starting 2009, Andrea Ceccarelli is a partner of the company Resiltech SRL, which has been Academic Spinoff of the University of Florence. Resiltech operates in the area of design, Verification, Validation and assessment of critical systems, with main focus in the automotive, railway and industrial automation domain. It counts approximately 35 full time employees and four premises in
Italy.

He regularly serves as expert for the evaluation of H2020 project proposals for the European Commission (2014, 2016, 2017, 2018, 2019, 2020, 2021, 2022), and for the evaluation of project proposals for the Eureka network (2019, 2020, 2021, 2022, 2023).

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

VISITING POSITIONS

Andrea Ceccarelli has been visiting researcher at:
2022 (two weeks), 2019 (three weeks), 2015 (two months): Universidade Estadual de Campinas (San Paolo, Brasil)
2017 (three weeks), 2016 (1 month), 2014 (two months): Universidade Federal de Alagoas (Alagoas, Brasil)
2013 (four months): Critical Software S.A., Coimbra, Portugal
2010-2011 (three months, Visiting Student during PhD): University of Coimbra, Coimbra, Portugal

MAIN NATIONAL AND INTERNATIONAL ACKNOWLEDGMENTS

2020- Best Research Paper Nominees at ISSRE 2020

2019- Best Experience Report paper at LADC 2019

2017 - National Scientific Habilitation (ASN) as Associate professor (II rank) in Computer Science (01/B1)

2017 - MIUR FFABR - Fondo per il finanziamento delle attività base di ricerca (Legge di Bilancio 2017)

2021- Member of the IFIP WG10.4 on Dependable Computing and Fault Tolerance

See the personal page with the full CV: https://rcl.dimai.unifi.it/people/ceccarelli

My main research interests span on the broad topics of the design and assessment of safe, secure and resilient systems. Some research activities that I have been working on in the recent period are:

1- Study and evaluation of the impact of Machine Learning and Artificial Intelligence in safety-critical systems, and especially in autonomous driving systems and applications. For such studies, I am recently relying on the support of simulators for autonomous driving.

2- Definition, implementation and evaluation of anomaly detection solutions for secure and dependable system. Anomalies are deviations from the expected behaviours. They can be useful for the timely identification of attacks and failures: for example, they are exploited to build intrusion detection systems.

3- Analysis of GPU fault modes and of possible fault-tolerant approaches.

4-  Design and evaluation (and especially experimental evaluation, i.e., testing) of embedded systems, in compliance with the requirements of safety standards, with a specific attention to the railway and automotive domains.

For THESIS assignments: see Note

INFORMATION FOR THESIS --> NEW!!!

If you are interested in my research subjects, you are very welcome to contact me for a Thesis topic. I will do my very best to assign you an interesting topic and enthusiastically follow you during its development.

BACHELOR THESIS

You are encouraged to mail me for an appointment.

MASTER THESIS

A successful Master Thesis requires a relevant body of work, a considerable amount of time, and a productive interaction with the supervisor. To reduce the risk of unpleasant experiences, please take under consideration the following mandatory conditions:

- it is requested that the student is knowledgeable with the subjects of one of my courses. In fact, the thesis topic shall deal with such subjects. If the student does not have appropriate knowledge of such subjects, the first activity that I will request is to acquire and assess the missing competences.

- it is requested that the candidate is available for periodical physical meetings (no remote meetings).

- if the candidate uses ChatGPT or similar text generation tools, the generated parts need to be clearly declared, togheter with the questions that were asked. If such text generation tools are used without proper notification, I will withdraw my availability as supervisor.

PROSPECTIVE PHD STUDENTS

As this requires a 3-year research plan, your involvement must be discussed with proper care. It is important that we reason attentively to identify the research subjects that are of interests for you. You are encouraged to contact me for information.