Programming Logic and Semantics

Projekter

Projekter pr. år 2007 2009 2013 2015 2016 2017 2020 2021 2023 2024 2028

• 5 Igangværende
• 25 Afsluttet

Projekter pr. år

Søgeresultater

• PROBABILIST: Probabilistic - Session Types and their Mechanisation

  Carbone, M. (PI)

  01/04/2025 → 30/10/2028

  Projekter: Projekt › Forskning

  • Mechanization 100%
  • Probabilistic Session Types 100%

• Alegro: Algebraic Effects and Guarded Recursion

  Møgelberg, R. E. (PI) & Zwart, M. A. (CoI)

  Danmarks Frie Forskningsfond

  01/07/2022 → 30/06/2026

  Projekter: Projekt › Forskning

  • Type Theory 100%
  • Probabilistic Choice 85%
  • Guarded Recursion 64%
  • Algebraic Effects 64%
  • Programming Languages 52%

• DDC 2025-2027: De Danske Cybermesterskaber 2025-2027

  Bruni, A. (PI)

  01/11/2024 → 31/10/2027

  Projekter: Projekt › Forskning

• Robust AI

  Bruni, A. (PI)

  01/11/2024 → 28/02/2027

  Projekter: Projekt › Forskning

  • Learning System 100%
  • Artificial Intelligence 100%
  • Network Security 100%
  • Machine Learning 100%
  • Network Traffic Analysis 100%

• DISTRUST: Distributed business process execution under partial trust

  Jacob, R. (PI), Debois, S. (PI) & Haagensen, F. (CoI)

  Danmarks Frie Forskningsfond

  01/07/2020 → 30/06/2025

  Projekter: Projekt › Forskning