Marco Carbone
20092023

Research activity per year

Personal profile

Curriculum

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. 

http://www.itu.dk/people/maca/cv.pdf

Keywords

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

Fingerprint

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