Research output per year
Research output per year
Personal profile
Profil Information text
- My Personal Web page, unfortunately not hosted at ITU, can be found at https://carbonem.github.io
Research Interests
My core research interests are within applications of semantics, type theory, and linear logic to concurrency. In particular, I’m an expert in the pi-calculus concurrency model, session types, and choreographies.
Keywords
- Semantics
- Web services
- Session types
- Concurrency theory
- Concurrent software Verification
Fingerprint
Dive into the research topics where Marco Carbone is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Research output
-
A Sound and Complete Projection for Global Types.
Tirore, D. L., Bengtson, J. & Carbone, M., 2025, In: Journal of Automated Reasoning. 69, 2, p. 14 1 p., 2.Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
Open Access -
Multiparty Asynchronous Session Types: A Mechanised Proof of Subject Reduction.
Tirore, D. L., Bengtson, J. & Carbone, M., 25 Jun 2025, ECOP. p. 31:1-31:30 30 p.Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
Open Access -
A Probabilistic Choreography Language for PRISM
Carbone, M. & Veschetti, A., 2024, LNCS. Springer, Vol. 14676. p. 20-37 18 p.Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
-
The Concurrent Calculi Formalisation Benchmark
Carbone, M., Castro-Perez, D., Ferreira, F., Gheri, L., Jacobsen, F. K., Momigliano, A., Padovani, L., Scalas, A., Tirore, D., Vassor, M., Yoshida, N. & Zackon, D., 11 Jun 2024, Coordination Models and Languages. Springer Nature Switzerland, p. 149-158 9 p. (Lecture Notes in Computer Science, Vol. 14676).Research output: Conference Article in Proceeding or Book/Report chapter › Book chapter › Research › peer-review
-
A Logical Interpretation of Asynchronous Multiparty Compatibility
Carbone, M., Marin, S. & Schürmann, C., 16 Oct 2023, A Logical Interpretation of Asynchronous Multiparty Compatibility. Springer, Vol. 14330. (Lecture Notes in Computer Science, Vol. 14330).Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
Open Access
-
MECHANIST: MECHANIsation of Session typEs
Carbone, M. (PI), Bengtson, J. (CoPI) & Tirore, D. (CoI)
Independent Research Fund Denmark
01/09/2021 → 30/10/2025
Project: Research
-
Computer Supported Mobile Adaptive Business Processes
Hildebrandt, T. (PI), Bundgaard, M. (CoI), Glenstrup, A. J. (CoI), Carbone, M. (CoI), Højsgaard, E. (CoI) & Nilsson, M. (CoI)
Danish Council for Technology and Innovation
01/01/2007 → 01/10/2012
Project: Research
-
BeHApi: Behavioral Application Program Interfaces
Carbone, M. (PI), Schürmann, C. (CoI) & Rafnsson, W. (CoI)
01/03/2018 → 31/12/2023
Project: Research
-
SAPienT: Safer AI with Probabilistic Session Types
Carbone, M. (PI)
01/02/2024 → 30/06/2024
Project: Research
-
Chords: Choreography-driven Programming and Security
Carbone, M. (PI) & Montesi, F. (CoI)
Independent Research Fund Denmark
01/01/2011 → 31/12/2013
Project: Research
Press/Media
-
ITU-forskere vil højne sikkerheden i Whatsapp
02/12/2022
1 Media contribution
Press/Media: Press / Media
-
Dansk forskningsprojekt skal forbedre fejlfinding i distribueret software
21/05/2021
1 Media contribution
Press/Media: Press / Media
-
Datasets
-
Multiparty Asynchronous Session Types: A Mechanised Proof of Subject Reduction (Artifact)
Tirore, D. (Creator), Bengtson, J. (Creator) & Carbone, M. (Creator), ZENODO, 27 Apr 2025
DOI: 10.5281/zenodo.15291182, https://zenodo.org/records/15291182
Dataset: Software
Activities
-
Asynchronous Session Types – Exceptions and Multiparty Interactions
Carbone, M. (Speaker)
31 Aug 2009Activity: Talk or presentation types › Lecture and oral contribution
File -
Adele Veschetti
Carbone, M. (Host)
7 Oct 2022 → 6 Nov 2022Activity: Hosting a visitor types › Hosting an academic visitor
-
ICE 2011 – 4th Interaction and Concurrency Experience
Carbone, M. (Member of Programme Committee)
9 Jun 2011Activity: Participating in or organising an event types › Organisation and participation in workshop, seminar, course
-
Kai Pischke
Carbone, M. (Host)
21 Jul 2025 → 25 Aug 2025Activity: Hosting a visitor types › Hosting an academic visitor
-
Nobuko Yoshida
Carbone, M. (Host)
7 Dec 2024 → 22 Dec 2024Activity: Hosting a visitor types › Hosting an academic visitor