Maria Inês Camarate de Campos Lynce de Faria

General Info

Research GroupSW Algorithms and Tools for Constraint Solving (SAT)
Action LineEmbedded Electronic Systems (EES)
Role in INESC-IDInvestigador Sénior
EntityDepartamento de Engenharia Informática

Main Interests

Inês Lynce is currently an associate Professor at IST - University of Lisbon and a senior researcher at INESC-ID. She is a well-established researcher in the area of Boolean constraint solving and optimization. Her main contributions refer to the development of search algorithms and the application of those algorithms to solve practical problems. Examples of these problems include software package upgreadability, biological networks, phylogenetic trees and crew scheduling. In 2006, she has pioneered, jointly with Joao Marques-Silva, the use of Boolean satisfiability in Bioinformatics. Since 2010 she is serving in the Editorial Board of the Journal of Artificial Intelligence Research (JAIR). She has been the workshop chair of the 17th International Conference on Theory and Applications of Satisfiability Testing (SAT'14), the co-organizer of the 2018 SAT-SMT-AR summer school and is recurrently member of the programme committees of the IJCAI, AAAI, ECAI, CP and SAT conferences.


Phone2290 (Portugal +351)
Personal Page