Mgr. Ada Bӧhm, Ph.D.

Ada Böhm získala Ph.D. v oboru informatika. Pracuje jako research engineer v oblasti bezpečnosti umělé inteligence. Zabývá se také plánovači úloh pro superpočítačové systémy a složitosti v oblasti formální verifikace.