Marco Carbone

Marco Carbone

Associate Professor, Head of study programme

IT University of Copenhagen
Rued Langgaards Vej 7
DK-2300 Copenhagen S

Building: 4C06

Phone: +45 72185067

Information Desk: 72185000

View graph of relations


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.


    Research areas

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

Research outputs (27)

  1. Published

    Declarative Choreographies and Liveness

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  2. Published

    A Sound Algorithm for Asynchronous Session Subtyping

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  3. Published

    Multparty Classical Choreographies

    Research output: Contribution to conference - NOT published in proceeding or journalPaperResearchpeer-review

View all (27) »

Research Activities (2)

  1. ICE 2011 – 4th Interaction and Concurrency Experience

    Activity: Participating in or organising an event typesOrganisation and participation in workshop, seminar, course

  2. Asynchronous Session Types – Exceptions and Multiparty Interactions

    Activity: Talk or presentation typesLecture and oral contribution

ID: 274971