Skip to search box Skip to navigation Skip to main content

Marco Carbone

Professor, Theoretical Computer Science
Programming Logic and Semantics

My Personal Web page, unfortunately not hosted at ITU, can be found at https://carbonem.github.io

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.