| 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. |
