Inês Lynce

General Info

GroupAutomated Reasoning and Software Reliability (ARSR)
Role in INESC-IDResearcher
EntityDepartamento de Engenharia Informática
DegreeAgregação
ResearcherIDC-5620-2008
ORCIDhttps://orcid.org/0000-0003-4868-415X

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.

Contacts

Phone2290 (Portugal +351)
Extension2290
Room329
Emailines.lynce(at)inesc-id.pt
 
Personal Pagehttp://sat.inesc-id.pt/~ines