About me

I am an Assistant Professor at the Department of Theoretical Computer Science and Mathematical Logic (“KTIML”), Faculty of Mathematics and Physics of the Charles University in Prague, Czechia.

I am one of the logicians in this picture.

Get in touch

Office hours: as scheduled at the beginning of each semester; or make an appointment!


Fall 2024

Spring 2024

My course schedule for the current semester. Archive of past courses.

Theses and projects

I can offer theses in theoretical computer science as well as several research software projects. Informal inquiries are most welcome!


My primary research interests lie in the intersection of theoretical computer science, computational logic, and universal algebra. A majority of my work is concerned with the complexity of the constraint satisfaction problem. I am also interested in constraint modeling, automated theorem proving, and artificial intelligence.

Current talks:

Selected publications

My papers on Google Scholar, on ArXiv, and my ORCID page.

My coauthors: Libor Barto, Manuel Bodirsky, Dejan Delić, Marcel Jackson, Michael Kompatscher, Andrei Krokhin, Todd Niven, Jakub Opršal, Florian Starke, Michael Wernthaler.

My Erdős number: 3