Marco Carbone

Short Bio

Research Interests

My core research interests are within applications of semantics, type theory, and linear logic to concurrency. In particular, I’m an expert in the pi-calculus concurrency model, session types (I’m one of the authors of multiparty session types), and choreographies.


The most (and very) up-to-date page is my DBLP entry. My ITU publication page is updated once a year. For old stuff, look here.

You can also find me on Google Scholar.

Current Projects

Past Projects

Recent Community Service

Postdocs/PhD Students/RA