![Marco Carbone](https://conf.researchr.org/getProfileImage/marcocarbone/0a8a53d1-c002-4578-9cde-8b00e7ab777f/small.jpg?1711514974000)
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
Using general profile