• socialIcon

Jakub Bulín

RNDr. Jakub Bulín, Ph.D.

Assistant Professor

ktiml.mff.cuni.cz/~bulin

Room S124, Floor 1, Malostranské náměstí 2/25, Praha 1

Teaching

Spring 2022

Archive: Fall 2021

My classes in SIS

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

Research

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 64/4, pp.1–66 (2021)

  • 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


Last change: February 11, 2022 13:55 
PDF TXT print
Share on:  
Contact

Department secretary

(Petra Novotná)

+420 951 554 245

Fax: +420 951 554 323

E-mail:

Petra Novotná

Web administrator

(Jindřich Vodrážka)

Jindřich Vodrážka

Server administrator

(Milan Fučík)

Milan Fučík









Address

Department of Theoretical Computer Science and Mathematical Logic

Faculty of Mathematics and Physics

Charles University


Malostranské náměstí 25

Prague 1, 118 00

Czech Republic




Map


© 2022 Department of Theoretical Computer Science and Mathematical Logic