Marco Carbone

Marco Carbone


Research activity per year

If you made any changes in Pure these will be visible here soon.

Personal profile


Interests in Theoretical and Practical aspects of Web Services, Concurrency, Static Analyses, Security and Trust Based Systems. In particular, contributions on Session Types and Chore- ography for Web Services, Security and Expressivity of languages for concurrency resulting into several peer-reviewed publications in international journals and conferences.


  • Semantics
  • Web Services
  • Session Types
  • Concurrency Theory
  • Concurrent Software Verification


Dive into the research topics where Marco Carbone is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or