About me

I am an Assistant Professor at the Department of Theoretical Computer Science, Faculty of Mathematics and Physics of the Charles University in Prague, Czechia.


Spring 2022

My classes in SIS

Informal inquiries about thesis topics (as well as other topics) are most welcome!

Archive: Fall 2021


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 intersted in constraint modeling, automated theorem proving, and artificial intelligence.

Selected publications

  • L. Barto, J. Bulín, A. Krokhin, and J. Opršal. Algebraic Approach to Promise Constraint Satisfaction, Journal of the ACM 68, 4, Article 28 (August 2021), 66 pages. DOI

  • J. Bulín. On the complexity of H-coloring for special oriented trees, European Journal of Combinatorics 69, 54–75 (2018)

  • L. Barto, J. Bulín. Deciding absorption in relational structures, Algebra Universalis 78(1), 3–18 (2017)

  • J. Bulín, D. Delić, M. Jackson, and T. Niven. A finer reduction of constraint problems to digraphs, Logical Methods in Computer Science 11(4:18), 1–33 (2015)

Arxiv, Google Scholar