His scientific interests include universal algebra and computational complexity, in particular, constraint satisfaction problems. He is best known for introducing the absorption theory, which has led to, e.g., the characterization of problems solvable by local methods. He is the recipient of the ERC Consolidator grant Symmetry in computational complexity. He obtained Ph.D. from Charles University in 2006. From 2010 to 2012 he worked at McMaster University in Canada.