I am currently a Ph.D. student at the Department of Logic of the Faculty of Arts of Charles University in Prague and the Department of Theoretical Computer Science of the Institute of Computer Science of the Czech Academy of Sciences under the supervision of Marta Bílková and co-supervision of Jiří VelebilI am taking part in the CzechGerman project SEGA and the EU RISE project SYSMICS.

My research focuses on the algebraic study of non-classical logics, particularly on logics which formalize reasoning with inconsistent information. Among other things, I am studying the extensions and expansions of the four-valued Belnap–Dunn logic using the tools of abstract algebraic logic.

Researcher identification: ORCIDResearcherIDScopus ID.

You can contact me at: name.surname@gmail.com