Martedì 14:30-16:00 oppure su appuntamento
Legenda
CV last update 2018
2012– 2016
PhD course in Computer Science, Scuola di dottorato Galileo Galilei, University of Pisa
February 2015 – March 2017
Istituto di Scienze e Tecnologie dell’Informazione, CNR, Pisa
Temporary Research fellow, research topic: “Modellazione e analisi di sistemi resilient evolvibili e adattabili”
Research
BANDO ISTI 037/2014 - PI Prot. 4531 del 09-12-2014
ISTI CNR Pisa
April 2017 – ongoing
Research associate, research topic “Satellite-based Signalling and Automation Systems on Railway along with Formal Method and Moving Block validation”
April 2017 – September 2018
Department of Information Engineering, University of Florence
Temporary Research Fellow, research topic “Signaling and Sensing Technologies in Railway Applications”
Reference: Decreto n.2037 Bando Prot. N. 27087 III/13-59.11 Anno 2017
October 2018 – ongoing
Department of Statistics, Computer Science and Applications, University of Florence
Ricercatore t.d. art. 24 c. 3 lett. A Legge 240/10 (t.pieno)
Research, Teaching
• Dates (from - to)
January 2014 – August 2014
• Name and type of organisation providing education and training
Visiting PhD Student at University of Leicester
• Reference
June 2017
Visiting INRIA Rennes under invitation (certification enclosed)
Teaching Activities
Second semester a.a. 2013/2014
Department of Computer Science, University of Pisa
Programmazione 2 bachelor course
Teaching assistant
Second Semester a.a. 2017/2018
Languages, Interpreters and Compilers, master course
Grant
Reference: Prof.Degano – (Department of Computer Science, UNIPI)
Role: PhD Student
Reference: Bando ISTI 037/2014 - PI Prot. 4531 del 09-12-2014 CUP B81J12002720001
Role: Temporary Research Fellow (ISTI CNR)
Title: ASTRail – Satellite-based Signalling and Automation Systems on Railway along with Formal Method and Moving Block validation
Reference: Dott. Stefania Gnesi (ISTI CNR)
Role: Temporary Research Fellow (DINFO UNIFI)
• Research interests
The list of publications is not automatically updated, please check my publications on
google scholar: https://scholar.google.com/citations?user=GFesXY4AAAAJ&hl=en
scopus: https://www.scopus.com/authid/detail.uri?authorId=55960640200
orcid: https://orcid.org/0000-0002-7196-6609
dblp: https://dblp.org/pers/hd/b/Basile:Davide
formal methods, software engineering, dependability analysis, security