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
Research interests:programming languages, type systems, concurrency theory, distributed computing, formal verification
Contributions
ST30 | Committee Member in Organizing Committee within the ST30-track | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
Using general profile