Inês Lynce is Full Professor of Artificial Intelligence at the Department of Computer Science and Engineering at Instituto Superior Técnico, Universidade de Lisboa. Inês develops efficient constraint reasoning tools for solving complex real-world problems.