On topological properties of quantum channels
MI RAS, 2022

Non-deteministic semantic for S4 modal logic
TU Wien, Computational Logic Seminar, 2022