I am a tenure-track researcher (Vědecký pracovník) at the Institute of Computer Science of the Czech Academy of Sciences, where I am a member of the LogICS group at the Department of Theoretical Computer Science. If you are interested in the work of our logic group, you are very welcome to join our regular hybrid seminar.

My main area of research is algebraic logic. I study various kinds of ordered algebraic structures which arise in connection with non-classical logics, such as residuated lattices. I study these both as natural mathematical structures worth investigating for their own sake and as tools which allow us to better understand the behavior of non-classical logical systems. I frequently use the methods of universal algebra in my work.

Contact me at: surname@cs.cas.cz or name.surname@gmail.com

Curriculum Vitae: here

Researcher identifiers: ORCID, ResearcherID, Scopus ID

Previously, I was an Assistant Professor at the Department of Mathematics of Vanderbilt University in Nashville (2018–21), a member of the ALOPHIS research group at the University of Cagliari (2021–22), a member of the LogICS research group at the Institute of Computer Science of the Czech Academy of Sciences (2022–23), and a member of the Barcelona Research Group in Non-Classical Logic (Barcino) as a Beatriu de Pinós fellow at the University of Barcelona (2023–25).

I obtained my Ph.D. in Logic (2013–18) at the Department of Logic of the Faculty of Arts of Charles University in Prague under the supervision of Marta Bílková. During my studies I was also employed at the Department of Theoretical Computer Science of the Institute of Computer Science of the Czech Academy of Sciences and at the Department of Logic of the Institute of Philosophy of the Czech Academy of Sciences.