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.
Theory of Constraint Satisfaction, counting problems, proof complexity, computational learning, schema mappings.
Artificial Intelligence and Machine Learning Group