•  Dates (from - to)

2012– 2016

• Name and type of organisation providing education and training

PhD course in Computer Science, Scuola di dottorato Galileo Galilei, University of Pisa

• Dates (from - to)

February 2015 – March 2017

•  Supervisors

• Organization

Istituto di Scienze e Tecnologie dell’Informazione, CNR, Pisa

•  Occupation

Temporary Research fellow, research topic: “Modellazione e analisi di sistemi resilient evolvibili e adattabili”

• Main activities

Research

• Reference

BANDO ISTI 037/2014 - PI   Prot. 4531 del 09-12-2014

ISTI CNR Pisa

• Dates (from - to)

April 2017 – ongoing

•  Supervisors

• Organization

Istituto di Scienze e Tecnologie dell’Informazione, CNR, Pisa

•  Occupation

Research associate, research topic “Satellite-based Signalling and Automation Systems on Railway along with Formal Method and Moving Block validation”

• Main activities

Research

• Reference

• Dates (from - to)

April 2017 – September 2018

•  Supervisors

• Organization

Department of Information Engineering, University of Florence

•  Occupation

Temporary Research Fellow, research topic “Signaling and Sensing Technologies in Railway Applications”

• Main activities

Research

• Reference

Reference: Decreto n.2037 Bando Prot. N. 27087 III/13-59.11 Anno 2017

• Dates (from - to)

October 2018 – ongoing

• Organization

Department of Statistics, Computer Science and Applications, University of Florence

•  Occupation

Ricercatore t.d. art. 24 c. 3 lett. A Legge 240/10 (t.pieno)

• Main activities

Research, Teaching

• Reference

• Dates (from - to)

January 2014 – August 2014

• Name and type of organisation providing education and training

Visiting PhD Student at University of Leicester

• Reference

1. emilio@leicester.ac.uk

• Dates (from - to)

June 2017

• Name and type of organisation providing education and training

Visiting INRIA Rennes under invitation (certification enclosed)

• Reference

1. axel.legay@inria.fr

Teaching Activities

• Dates (from - to)

Second semester a.a. 2013/2014

•  Supervisor

• Organization

Department of Computer Science, University of Pisa

•  Occupation

Programmazione 2 bachelor course

• Main activities

Teaching assistant

• Dates (from - to)

 Second Semester a.a. 2017/2018

•  Supervisor

• Organization

Department of Computer Science, University of Pisa

•  Occupation

Languages, Interpreters and Compilers, master course

• Main activities

Teaching assistant

Grant

• Grant to the amount of €1220  for travel and living expenses and participation fee, for the NATO Advanced Study Institute International Summer School MOD15 on Verification and Synthesis of Correct and Secure Systems, held in Marktoberdorf from August 5 2015 to August 16 2015, references Dr.Katharina Spies asimod@in.tum.de,

• Grant to the amount of €920 for travel expenses and participating fee to attend the 11th International Federation for Information Processing (IFIP) International Federated Conference on Distributed Computing Techniques — DisCoTec, helded on 6-9 June 2016 in Heraklion, Greece. Reference: Kostas Magoutis, General Chair of DisCoTec 2016

•  ISTI Young Research Award++  2017 and 2018,  Grant of 1000 euro http://www.isti.cnr.it/news/yawards-yra.php protocol n.1250 of 6 March 2017, reference: Claudio Montani, ISTI CNR Pisa

• European Projects

• PRIN   Security Horizon (2010XSEMLC), from 1/2/2013 to 31/12/2014,

Reference: Prof.Degano – (Department of Computer Science, UNIPI)

Role: PhD Student

• PRIN   TENACE   20103P34XC, from 1/2/2015 to 31/1/2016,

Reference: Bando ISTI 037/2014 - PI Prot. 4531 del 09-12-2014 CUP B81J12002720001

Role: Temporary Research Fellow (ISTI CNR)

• PRIN   CINA  2010LHT4KM, from 1/2/2015 to  31/1/2016,

Reference: Bando ISTI 037/2014 - PI Prot. 4531 del 09-12-2014 CUP B81J12002720001

Role: Temporary Research Fellow (ISTI CNR)

• H2020 2017-2020 S2R-OC-IP2-01-2017 “Operational conditions of the signalling and automation systems; signalling system hazard analysis and GNSS SIS characterization along with Formal Method application in railway field” from 1/09/2017 to ongoing

Title: ASTRail – Satellite-based Signalling and Automation Systems on Railway along with Formal Method and Moving Block validation

Reference: Dott. Stefania Gnesi (ISTI CNR)

• Regional Projects (Tuscany)

• POR FESR 2014-2020 Title “Signaling and Sensing Technologies in Railway Applications” (SISTER) from 1/04/2017 to ongoing

Reference: Decreto n.2037 Bando Prot. N. 27087 III/13-59.11 Anno 2017

Role: Temporary Research Fellow (DINFO UNIFI)

• Research interests

• Formal methods
• Verification and Validation of distributed applications
• Stochastic Analysis of Systems
• Model Checking
• Formal Analysis of Railway Systems