![Marco Carbone](https://conf.researchr.org/getProfileImage/marcocarbone/2e0572b3-ed9a-46fd-b706-6d14bf8091ea/small.jpg?1720987561000)
Registered user since Sat 13 Jan 2024
Name:Marco Carbone
Country:Denmark
Affiliation:IT University of Copenhagen
Personal website: https://www.itu.dk/people/maca
X (Twitter): https://x.com/carbonem
GitHub: https://github.com/carbonem
Research interests:Concurrency, Session Types, Mechanisation
Contributions
PLDI 2024-profile
View general profile
View general profile