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
Using general profile