Davide Basile

Contact :

Davide Basile

Davide Basile, Ph.D.
Permanent Researcher @
Formal Methods & Tools (FMT)
Istituto di Scienza e Tecnologie dell'Informazione “A. Faedo” (ISTI)
Consiglio Nazionale delle Ricerche (CNR)
Area della Ricerca di Pisa, Loc. San Cataldo,
Via Moruzzi 1, I-56124 Pisa, Italy

Room : I-45
Phone : +39 050 315 2796

E-mail : davide.basile@isti.cnr.it

About me:

ha-index: 78

I am a permanent researcher at the Formal Methods && Tools Laboratory (FMT-lab) of the Institute of Information Science and Technology (ISTI) of the National Research Council (CNR) in Pisa, Italy.

I earned my Bachelor, Master and Ph.D. degrees in Computer Science at the Department of Computer Science of the University of Pisa. My Ph.D. studies also involved a collaboration with the Department of Computer Science at the University of Leicester in the United Kingdom. Starting in 2015, I became a member of the FMT lab, initially as a temporary research fellow, and later as a research associate. From 2017 to 2019, I held positions as a post-doctoral researcher and later as an assistant professor (RTD-a) at the University of Florence. Since November 2019, I have held a permanent researcher position at the FMT lab of ISTI CNR.

My research focuses on developing novel formalisms for emerging computational paradigms and supporting tools, exploring formal verification techniques and applying state-of-the-art formal methods to the design of real-world systems and emerging technologies in different application domains, e.g., railway domain.

As of 2023, I have contributed approximately 50 peer-reviewed papers to conferences and journals spanning the domains of theoretical computer science and formal methods in software engineering. With only a few exceptions, I have served as the primary author for all of these contributions.

Program Committees:

Conferences Organization:

The 16th International Working Conference on Variability Modelling of Software-Intensive System (VaMoS 2022 - Publicity Chair, Web Chair)
The 15th International Federated Conference on Distributed Computing Techniques (DisCoTec 2020 - Publicity Chair)

Responsibilities in Projects:

MUR-PRIN PNRR 2022 project ADVENTURE (ADVancEd iNtegraTed evalUation of Railway systEms), 2023-2025 (WP Leader)
PNRR MOST Spoke 4: Rail Transportation, WP1: Increase of capacity of railway transport, Task 1.3: Resilient and sustainable railway infrastructure (CNR Referent in Task 1.3)

Participation in Projects:

PRIN T-Ladies 2020TL3X8X 2022-2025 (Typeful Language Adaptation for Dynamic, Interacting and Evolving Systems)
PRIN ITMatters 2017FTXR7S 2020-2022
H2020 Shift2Rail 4SECURail 2020-2021 (FORmal Methods and CSIRT for the RAILway sector)
H2020 Shift2Rail ASTRail 2017-2019 (SAtellite-based Signalling and Automation SysTems on Railways along with Formal Method and Moving Block validation)
POR FESR SISTER 2017-2019 (Signalling & Sensing Technologies in Railway application)
PRIN CINA 2010LHT4KM 2015-2016 (Composizionalità, Interazione, Negoziazione, Autonomicità per la società ICT futura)
PRIN TENACE 20103P34XC, 2015-2016 (Protezione delle Infrastrutture Critiche Nazionali da Minacce Cibernetiche)
PRIN Security Horizon 2010XSEMLC 2013-2014

Pages:

Papers:

Open Portal ISTI: https://openportal.isti.cnr.it/results?qv=davide+basile (here you will find most pre-prints of my papers)
YouTube Channel: UCBrL5bekXG1_ELLB00K7o7A (this channel contains videos of my presentations at conferences and other material)

Institutional webpages:

National Research Council (CNR): https://www.cnr.it/people/davide.basile (my CV is available on this site)
Institute of Information Science and Technologies (ISTI): https://www.isti.cnr.it/en/about/people-detail/516/Davide_Basile
Formal Methods && Tools Lab: https://fmt.isti.cnr.it/~davidebasile (redirect to this page)

Research Engines:

Scopus Author ID: 55960640200
WoS Researcher ID: AAX-1112-2020
Research Gate: Davide_Basile2
Google Scholar: GFesXY4AAAAJ
Semantic Scholar: D.-Basile/143672390
DBLP: https://dblp.org/pid/135/0129.html
Orcid ID: 0000-0002-7196-6609
Publons: AAX-1112-2020 (list of verified peer reviews in journals)

LinkedIn: in/davide-basile-4179a74b (info on my previous jobs and education are available here)
Twitter Page: https://twitter.com/davidebasile/

Open source:

GitHub Page: https://github.com/davidebasile (this page contains the tools I am maintaining)
BitBucket Page: https://bitbucket.org/davidebasile84/ (this page contains the tools I am maintaining)

Tweets by davidebasile