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:

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