Organisation profile
Organisation profile
The 2-year MSc in Computer Science is a programme designed for students with an IT-related undergraduate degree wishing to develop their skills and knowledge in computer science in a top-notch academic setting.
The programme focuses on business needs, and you will work on projects concerning software development and maintenance of software. You will also learn about the organizational and managerial part of a development process.
Profiles
-
Marco Carbone
- Theoretical Computer Science - Professor
- Programming Logic and Semantics
- Center for Information Security and Trust
- MSc in Computer Science - Head of Programme
Person: VIP
-
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 Mechanisation of Multiparty Session Types
Tirore, D., 2024, IT-Universitetet i København. 160 p.Research output: Theses › PhD thesis