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 currently an Associate Professor with Habilitation at Instituto Superior Técnico - Universidade de Lisboa and an integrated researcher at INESC-ID. She is a well-established researcher in the broad field of artificial intelligence, namely in constraint solving and optimization. Her main contributions refer to the development of search algorithms and applying 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 co-pioneered the use of Boolean satisfiability in Bioinformatics. Since 2020 she is serving on the Editorial Board of the Artificial Intelligence Journal (AIJ). Since 2010 she has been 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 program committees of the IJCAI, AAAI, ECAI, CP, and SAT conferences.Inês Lynce is currently an Associate Professor with Habilitation at Instituto Superior Técnico - Universidade de Lisboa and an integrated researcher at INESC-ID. She is a well-established researcher in the broad field of artificial intelligence, namely in constraint solving and optimization. Her main contributions refer to the development of search algorithms and applying 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 co-pioneered the use of Boolean satisfiability in Bioinformatics. Since 2020 she is serving on the Editorial Board of the Artificial Intelligence Journal (AIJ). Since 2010 she has been 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 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