SPLASH 2023
Sun 22 - Fri 27 October 2023 Cascais, Portugal
SPLASH 2023 (series) / Luca Padovani

Registered user since Tue 18 Aug 2015

Name:Luca Padovani
Country:Italy
Affiliation:University of Camerino
Personal website: https://boystrange.github.io
GitHub: https://github.com/boystrange
Research interests:programming languages, type systems, concurrency theory, distributed computing, formal verification

Contributions

Show activities from other conferences

SPLASH 2023-profile
View general profile