
Marco Carbone
Associate Professor, Head of study programme
- Programming Logic and Semantics
Research Group
- Center for Information Security and Trust
Research Group
- Computer Science
Department
IT University of Copenhagen
Rued Langgaards Vej 7
DK-2300 Copenhagen S
Denmark
Building: 4C06
Information Desk: 72185000
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.
- Semantics, Web Services, Session Types, Concurrency Theory, Concurrent Software Verification
Research areas
Research outputs (27)
- Published
Declarative Choreographies and Liveness
Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
- Published
A Sound Algorithm for Asynchronous Session Subtyping
Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review
- Published
Multparty Classical Choreographies
Research output: Contribution to conference - NOT published in proceeding or journal › Paper › Research › peer-review
Press (1)
ITU-forsker vinder international pris
Press/Media: Press / Media
Research Activities (2)
ICE 2011 – 4th Interaction and Concurrency Experience
Activity: Participating in or organising an event types › Organisation and participation in workshop, seminar, course
Asynchronous Session Types – Exceptions and Multiparty Interactions
Activity: Talk or presentation types › Lecture and oral contribution
Recent activities and conferences
ID: 274971