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
Phone
72185067
Email
maca
itu
dk
2009
2021
Research activity per year
Overview
Fingerprint
Network
Publications
(29)
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
Undecidability
56%
Choreography
41%
Decidability
30%
Fragment
29%
Communication Protocol
25%
Distributed Systems
25%
Communication
23%
Sound
22%
Software Components
20%
Concurrent
19%
Output
17%
Distributed Computation
17%
Language
17%
Interaction
17%
Proof Theory
15%
Buffer
13%
Type Systems
12%
Reasoning
11%
Programming
11%
Context
11%
Programming Languages
10%
Asynchronous Communication
10%
Semantics
10%
Binary
9%
Projection
8%
Methodology
8%
Type Theory
6%
Term
6%
Concepts
6%
Exception
5%
Intuitive
5%
Express
5%
Engineering & Materials Science
Communication
100%
Acoustic waves
75%
Computability and decidability
65%
Semantics
48%
Network protocols
40%
WSDL
33%
Servers
26%
Web services
21%
Computer programming languages
18%
Chemical analysis
15%
Syntactics
12%
Authentication
10%
Message passing
8%
Specifications
5%