Marco Carbone

Projects

Projects per year 2007 2007 2011 2012 2018 2021 2023 2024 2025 2028

• 2 Active
• 6 Finished

Projects per year

Search results

• 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

  • Session Types 100%
  • Computing Systems 100%
  • Airplane 100%
  • Mobile Phone Application 100%
  • Financial Transactions 100%

• PROBABILIST: Probabilistic - Session Types and their Mechanisation

  Carbone, M. (PI)

  Independent Research Fund Denmark

  01/04/2025 → 30/10/2028

  Project: Research

  • Mechanization 100%
  • Probabilistic Session Types 100%