Pozice: Vědecký pracovník
Oddělení: Oddělení teoretické informatiky
E-mail: fussner@cs.cas.cz
Pracovna: 427
Projekty
- Substitution in Material Inference and Logical Environments (2026–2028)
- Interpolace, amalgamace a výpočty (2025–2029)