I am a postdoctoral fellow at the
Institute of Informatics
of the Academy of Sciences of the Czech Republic.
I obtained my doctorate in Logic
and the Methodology of Science at UC Berkeley
under the supervision of Wesley Holliday.
Here are my curriculum vitae and research statement.
- Correspondence, Canonicity, and Model Theory for Monotonic Modal Logics.
BLAST 2019, Boulder, Colorado.
- Modal Correspondence Theory for Possibility
Semantics. MLG Workshop 2015, Kyôto, Japan.
- On the
Computational Power of Algorithmically Random Constants in
2014, Darmstadt, Germany (joint work with Akitoshi Kawamura).
- Duality for Boolean Algebra Expansions and Its Applications.
Ph.D. thesis, University of California, Berkeley, 2020.
- Algorithmic Randomness and
Computational Complexity. B.Sc. thesis, University of