Skip to main navigation
Skip to search
Skip to main content
IT-University of Copenhagen Home
Support to ITU faculty
Dansk
English
Home
Researchers
Research Organisation
Publications
Activities
Prizes
Press/Media
Search by expertise, name or affiliation
Marco Carbone
Associate Professor, Head of study programme
,
Computer Science
Programming Logic and Semantics
cisat.dk
https://orcid.org/0000-0001-9479-2632
Phone
72185067
Email
maca
itu
dk
2009
2023
Research activity per year
Overview
Fingerprint
Network
Publications
(30)
Activities
(2)
Press/Media
(3)
Similar Profiles
(8)
If you made any changes in Pure these will be visible here soon.
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.
Sort by
Weight
Alphabetically
Mathematics
Asynchronous Communication
10%
Binary
9%
Buffer
13%
Choreography
41%
Communication
23%
Communication Protocol
25%
Concepts
6%
Concurrent
19%
Context
11%
Decidability
30%
Distributed Computation
17%
Distributed Systems
25%
Exception
5%
Express
5%
Fragment
29%
Interaction
17%
Intuitive
5%
Language
17%
Methodology
8%
Output
17%
Programming
11%
Programming Languages
10%
Projection
8%
Proof Theory
15%
Reasoning
11%
Semantics
10%
Software Components
20%
Sound
22%
Term
6%
Type Systems
12%
Type Theory
6%
Undecidability
56%
Engineering & Materials Science
Acoustic waves
75%
Authentication
10%
Chemical analysis
15%
Communication
100%
Computability and decidability
65%
Computer programming languages
18%
Message passing
8%
Network protocols
40%
Semantics
48%
Servers
26%
Specifications
5%
Syntactics
12%
Web services
21%
WSDL
33%
