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
2024
Choreographic Programming
Using general profile