ITU
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 7218 5067

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

Research outputs (25)

  1. Published

    Multparty Classical Choreographies

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

  2. Published

    Choreographies, logically

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

  3. Published

    On the boundary between decidability and undecidability of asynchronous session subtyping

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

View all (25) »

Press (1)

  1. 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 typesOrganisation and participation in workshop, seminar, course

  2. Asynchronous Session Types – Exceptions and Multiparty Interactions

    Activity: Talk or presentation typesLecture and oral contribution

Recent activities and conferences

ID: 274971