Marco Carbone
20092021

Research activity per year

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

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

Network

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