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 attend 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

Researcher identifiers: ORCID, ResearcherID, Scopus ID

Previous employment: 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 (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á. My primary academic home during my Ph.D. studies was the Department of Theoretical Computer Science of the Institute of Computer Science.