Marco Carbone - ECOOP 2025

Mon 30 June - Fri 4 July 2025 Bergen, Norway

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

2025

ECOOP

Multiparty Asynchronous Session Types: A Mechanised Proof of Subject Reduction
Session Chair of Formal Methods, Logics, and Static Analysis Frameworks (part of Technical Papers)

Show activities from other conferences

ECOOP 2025-profile
View general profile