Pracuji na výzkumu bezpečnosti umělé inteligence, teorii her a plikovaných algoritmech na Katedře aplikované matematiky Univerzity Karlovy. V minulosti jsem též pracoval ve skupině Algoritmů na ETH Zurich, AIC na ČVUT, Google Zurich a CZ.NIC.

Research

Scholar, DBLP, arXiv, ORCID

Zajímají mě hlavně témata bezpečnosti AI, value learningu a teorie her. Z dalších témat mě zajímají teorie grafů, výpočetní složitost, deep learning a umělá inteligence obecně, algoritmy pro genomiku a distribuované výpočty.

Projekty

Vyvíjím aktivně několik projektů, hlavně Rain, framework pro distribuované výpočty a GameGym, knihovnu pro teorii her.

Studentské projekty

Nabízím různé studentské projekty, jak na téma bezpečnosti AI, tak i ostatní výše. Více k projektům najdete na (starší) stránce o projektech. Napište pokud máte zájem či otázky.

Jsem též coach Efektivní diplomky, dobrého zdroje témat prací zaměřených na pozitivní impakt na svět.

Výuka

Další aktivity

Člen Spolku pro efektivní altruismus, české buňky EA. Tibetská čajovna Dharmasala v Pražském Karlíně. Řemesla a kosení chráněných luk s ZČHB Kolovrátek. Lezení s AKA Praha. V minulosti též semináře pro talentované studenty MaM a KSP.