On topological properties of quantum channels
MI RAS, 2022

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

Fine structure and mice with Woodin cardinals in a nutshell. The mouse $M_\omega$.
TU Wien, Inner Model Theory HOD Computations, 2023