معرفی
Marco Carbone is a Professor of Theoretical Computer Science at IT University of Copenhagen. His research focuses on session types, concurrency theory, structured communication, and formal verification of distributed systems. He leads the Center for Information Security and Trust and serves as Head of Education for the Master of Science in Computer Science program.
- Research Areas: Session Types, Concurrency, Security Protocols, Trust Management, Programming Logic
- Projects: GAINER (2023-2024), MECHANIST (2021-2025), PROBABILIST (2025-2028), BeHApi (2018-2023)
- Scientific Awards: International Prize (2018)
His recent work explores probabilistic choreographies, asynchronous session subtyping, and mechanized proofs for session type systems. He has published extensively in venues like Logical Methods in Computer Science and Lecture Notes in Computer Science.
۰مقاله منتشرشده
