Researcher in AI safety, algorithms and game theory. Working at Department of applied mathematics, Charles University. In the past I have also worked in Algorithms group at ETH Zurich, AIC at Czech technical university, Google Zurich and CZ.NIC.

Research

Scholar, DBLP, arXiv, ORCID

Recently I am mostly working on AI safety and value learning. My other and past topics include algorithmic game theory, graph theory, computational complexity, deep learning, artificial intelligence, reinforcement learning, algorithms in genomics and scheduling.

Projects

I am developing several software projects, mostly Rain, a distributed computational framework and GameGym, a game theory library.

Student projects

I offer student projects and theis topics both on AI-safety related topics and all the others, aboth theory and implementation/experiments. There is an older student projects page (in Czech). Contact me if you are curious or interested.

I am coaching for Effective Thesis, a good source of EA-aligned thesis topics and projects.

Teaching

Other activities

Active member of Czech Effective Altruism group (Spolek pro efektivní altruismus). Co-managing a Tibetan tea house Dharmasala in Praha Karlín. Camps with crafts and orchid meadow cutting in ZČHB Kolovrátek. Climbing with AKA Praha. Seminars for talented high-school students MaM and KSP in the past.