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.
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.
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.
- Spring 2018: Introduction to combinatorics and graph theory (in Czech)
- Spring 2018: Introduction to problem solving 2 (IPS2) (in Czech)
- Fall 2017: Introduction to problem solving (IPS) (in Czech)
- Lecture and exercise archive (in Czech)
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.