Inês Lynce

Inês Lynce is a Professor at the Department of Computer Engineering within the Instituto Superior Técnico (University of Lisbon) and a researcher at INESC-ID Lisboa. Her research focuses on Artificial Intelligence, Constraint Satisfaction and Optimization, Automated Reasoning, Formal Methods, and Bioinformatics. She leads multiple research projects, including RIGA (Indirect Discrimination Analysis), GOLEM (Automated Programming), and LAIfeBlood (AI for Blood Management), funded by FCT and EU programs.

• Education: While specific academic qualifications aren't listed, her roles and research output indicate advanced degrees in Computer Science/Engineering.

Her work bridges theoretical computer science and practical applications, with a strong emphasis on Satisfiability (SAT) solving, constraint programming, and AI-driven solutions for complex systems. She has organized major conferences like SAT 2019 and ECAI 2025, and serves on editorial boards for journals including Artificial Intelligence Journal and Journal on Satisfiability.

Her awards include the INESC-ID Young Researcher Award (2009), APPIA PremiA Award (2009), and UTL/Deloitte Young Researcher Award (2008). Professional activities span program committee roles for AAAI, IJCAI, and CP conferences, reflecting her leadership in AI and constraint-based research.

Teaching activities are managed through Fenix IST, and she collaborates with initiatives like CompSustNet for interdisciplinary research. Her work has been applied to diverse domains, including transportation scheduling, bioinformatics modeling, and cybersecurity protocol analysis.