ITU
Marco Carbone

Marco Carbone

Associate Professor, Head of study programme

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

Building: 4C06

Phone: +45 72185067

Information Desk: 72185000

View graph of relations

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

Close

    Research areas

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

Research outputs (29)

  1. Published

    A Sound Algorithm for Asynchronous Session Subtyping and its Implementation

    Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

  2. Published

    Security Protocols as Choreographies

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  3. Published

    Declarative Choreographies and Liveness

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

View all (29) »

Press (2)

  1. Dansk forskningsprojekt skal forbedre fejlfinding i distribueret software

    Press/Media: Press / Media

  2. ITU-forsker vinder international pris

    Press/Media: Press / Media

Research Activities (2)

  1. ICE 2011 – 4th Interaction and Concurrency Experience

    Activity: Participating in or organising an event types › Organisation and participation in workshop, seminar, course

  2. Asynchronous Session Types – Exceptions and Multiparty Interactions

    Activity: Talk or presentation types › Lecture and oral contribution

ID: 274971