(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