Pozice: Vědecký pracovník Oddělení: Oddělení statistického modelování a umělé inteligence E-mail: dcerna@cs.cas.cz Pracovna: 310 ORCID Web of Science Scopus ASEP Projekty Analýza důkazů a automatická dedukce pro rekurzivní struktury (2022–2025)
