I am a logician by trade. Currently, I am a senior researcher in the LogICS group at the Institute of Computer Science of the Czech Academy of Sciences in Prague.
My research interests circle around modal, substructural and many-valued logics, in particular epistemic logics, coalgebraic logics, and their proof theory.
TRUST - Knowledge in the Age of Distrust (2026-2028), a grant from the Programme Johannes Amos Comenius under the Ministry of Education, Youth and Sports of the Czech Republic, No. CZ.02.01.01/00/23\_025/0008711
CELIA - Coalition and Epistemic Logic: An Intensional Approach to Groups, (PI: Olivier Roy & Marta Bilkova, coPI: Ondrej Majer), joint LA-project of Czech Science Foundation (GACR) and DFG (2022-2025).
MetaSuMo: Metamathematics of Substructural Modal Logics, (PI: Petr Cintula), 2022-2024, Czech Science Foundation.
MOSAIC - Modalities in Substructural Logics: Theory, Methods and Applications. Rise-MSCA-2020 Project 101007627. (2021-2025)
https://sites.google.com/view/mosaic-rise/
SEGA - "From shared evidence to group attitudes", joint project of Czech Science Foundation (GACR) and DFG (2016-2018). www.sega-project.org
ORCID, Scopus, dblp, Google Scholar, ResearchGate, LinkedIn,