
Marco Carbone
Associate Professor, Head of study programme
- Programming Logic and Semantics
Research Group
- Computer Science
Department
- Center for Information Security and Trust
Research center
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 (29)
- 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
- Published
Security Protocols as Choreographies
Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
- Published
Declarative Choreographies and Liveness
Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
Press (2)
Dansk forskningsprojekt skal forbedre fejlfinding i distribueret software
Press/Media: Press / Media
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
ID: 274971