FormaliSE 2023
Dates to be announced Melbourne, Australia
co-located with ICSE 2023
Davide Basile

Registered user since Fri 24 Jan 2020

Name:Davide Basile

My research focuses on developing both 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.

Affiliation:Formal Methods and Tools lab, ISTI-CNR, Pisa, Italy
Research interests:Formal Methods, Software Engineering, Contract Automata


Show activities from other conferences

ICSE 2023-profile
View general profile