The topic of this talk is the computational complexity of the homomorphism problem between two relational structures, also known as the constraint satisfaction problem (CSP). We briefly discuss the known classifications of CSPs parametrised by the source or target structures. We then discuss a classification of general-valued CSPs parametrised by the source structures.
Based on joint work with Clement Carbonnel and Miguel Romero.

I grew up in Soběslav, a small town in the south of Bohemia, Czech republic. Before coming to England, I read computer science in the Czech republic, Netherlands, and Finland. I came to Oxford in 2006 and spent here three years as a doctoral student working on my thesis that won the ACP doctoral research award and was then published by Springer as a monograph and three years as a stipendiary Junior Research Fellow in Mathematical and Physical Sciences at Oxford's University College. After a year at Warwick, I came back to Oxford in 2013.
Research interests: algorithms, computational complexity, constraint satisfaction, discrete optimization.