I am Marco Carbone, Professor at the Computer Science Department of the IT University of Copenhagen.

My research is on the semantics of concurrent and distributed systems: the pi-calculus, session types, choreographies, and their connections to linear logic and proof theory.

Contact: maca (at) itu.dk