Inês Lynce

General Info

GroupAutomated Reasoning and Software Reliability (ARSR)
Role in INESC-IDResearcher
EntityDepartamento de Engenharia Informática

Main Interests

Inês Lynce is a Professor at IST and a researcher at INESC-ID. She is currently serving as President of INESC-ID. Inês is a well-established researcher in the broad field of artificial intelligence, namely in constraint solving and optimization. Her main contributions refer to developing search algorithms and applying those algorithms to solve practical problems. Ines received the 2008 Delloite-ULisbon award and the 2009 PremeIA award from the Portuguese Association for Artificial Intelligence. Since 2020 she has been serving on the Editorial Board of the Artificial Intelligence Journal (AIJ). She has been the co-organizer of the 2018 SAT-SMT-AR summer school and the co-chair of the 21st International Conference on Theory and Applications of Satisfiability Testing (SAT’19). Ines publishes at and is a recurrent member of the program committees of the IJCAI, AAAI, ECAI, CP, and SAT conferences.


Phone2290 (Portugal +351)
Personal Page