(Secondary Proposer) QUMMA – Quantum Computing and Uncertainty: Mathematical Models and Applications (OC-2026-1-30826) PI - Giorgio Nordo
(YS)- Towards a Theoretical Foundation for Quantitative Functional Programming. PI - Besik Dundua
(Secondary Proposer) OC-2024-1-27480 - ESPECIAS - Executable Specifications for Connected, Intelligent, and Autonomous Systems. PI - Doğan Ulus
(Project assistant) FWF grant P 36571 - Gödel logics: The Prenex Forms. PI - Matthias Baaz