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, and choreographies.

Publications

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. My PhD thesis is here.

You can also find me on Google Scholar.

Current Projects

Past Projects

Recent Community Service

Postdocs/PhD Students/RA