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