AI researcher. PhD in graph algorithms and theory, complexity of constraint satisfaction problems, topological combinatorics, ...