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
ORCID0000-0003-4868-415X

Main Interests

Inês Lynce is currently an Associate Professor with Habilitation at Instituto Superior Técnico - Universidade de Lisboa and a senior researcher at INESC-ID. She is a well-established researcher in the broad field of artificial intelligence, namely in the area of 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 upgradability, biological networks, phylogenetic trees, timetabling and program synthesis. In 2006, she has co-pioneered the use of Boolean satisfiability in Bioinformatics. Since 2010 she is serving on 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.

Contacts

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