Dalmau Lloret Victor
Associate professor
Departament de Tecnologies de la Informació i les Comunicac
University Pompeu Fabra
Spain
Biography
Since 2007 Victor Dalmau is an Associate Professor at our Department. He was born in Sudanell, Spain (1971). He obtained a degree and a Ph.D on Computer Science at Universitat Politécnica de Catalunya, Spain. His main research is on Constraint satisfaction, which is the problem of deciding whether there exists an assignment of values to variables satisfying some given restrictions. The framework is general enough to express many common problems in areas such as logistics, computer vision, scheduling, and artificial intelligence, to name only a few. His work focuses on the theoretical aspects of the problem, involving techniques and concepts coming from areas as diverse as combinatorics, logic, database theory and universal algebra. He is also interested broadly in complexity theory, logic in computer science, and computational learning theory. He has published 23 journal papers and 29 conference (peer-reviewed) papers. He received the "Ramón y Cajal" Fellowship and the ICDT 2012 best paper award.
Research Interest
database management, logical theory of computing, digital media,
Publications
-
A simple algorithm for Mal'tsev constraints V Dalmau, A Bulatov SIAM Journal on Computing 36 (1), 16-27
-
Towards a dichotomy theorem for the counting constraint satisfaction problem AA Bulatov, V Dalmau Information and Computation 205 (5), 651-678
-
Constraint satisfaction, bounded treewidth, and finite-variable logics V Dalmau, PG Kolaitis, MY Vardi CP 2, 310-326
