# Inês Lynce > researcher, computer engineer **Wikidata**: [Q85100310](https://www.wikidata.org/wiki/Q85100310) **Source**: https://4ort.xyz/entity/ines-lynce ## Summary Inês Lynce is a prominent Portuguese computer engineer and researcher specializing in artificial intelligence and computational logic. She serves as a Full Professor at the Instituto Superior Técnico and is a researcher at the Telecommunications Institute in Lisbon, recognized for her contributions to AI and bioinformatics. ## Biography - **Nationality:** Portugal - **Education:** Instituto Superior Técnico - **Known for:** Research in artificial intelligence, computational logic, and formal methods. - **Employer(s):** Instituto Superior Técnico, Telecommunications Institute (Lisbon). - **Field(s):** Artificial intelligence, computational logic, formal methods, bioinformatics. ## Contributions Inês Lynce has developed a significant body of research focused on the intersection of artificial intelligence and computational logic. Her work involves the development of software that enables machines to exhibit intelligent behavior, specifically through the study of artificial intelligence models. Since 2005, Lynce has been a key faculty member at the Instituto Superior Técnico, where she progressed from a general teaching role to Associate Professor in 2013, and eventually to Full Professor in 2021. Parallel to her academic career, she has been a researcher at the Telecommunications Institute in Lisbon since 2013. Her interdisciplinary work in bioinformatics applies computer science and statistics to the collection and analysis of biological data. Her research output is documented across major academic platforms, including DBLP, Scopus, and Google Scholar, contributing to the advancement of formal methods and computational logic within the global scientific community. ## FAQs ### Q: What is Inês Lynce's primary area of expertise? A: Inês Lynce specializes in computer engineering with a focus on artificial intelligence, computational logic, and formal methods. She also conducts interdisciplinary research in bioinformatics, applying computational techniques to biological data. ### Q: What academic positions does Inês Lynce hold? A: She is currently a Full Professor at the Instituto Superior Técnico in Portugal, a position she has held since 2021. She is also a researcher at the Telecommunications Institute in Lisbon. ### Q: Has Inês Lynce received any major awards? A: Yes, she was honored with the "Mulheres na Ciência" (Women in Science) award in 2021, which recognizes the contributions of female scientists to the research landscape. ## Why They Matter Inês Lynce is a central figure in the Portuguese artificial intelligence research community. Her work in computational logic and formal methods provides essential frameworks for creating reliable and intelligent software systems. By integrating these fields with bioinformatics, she has helped advance the way biological data is processed and understood through computational means. As a Full Professor at the Instituto Superior Técnico, she influences the academic and professional development of future computer engineers. Her recognition through the "Mulheres na Ciência" award underscores her role as a leading female figure in a highly technical field, highlighting the impact of her research on both a national and international level. ## Notable For * **Full Professor:** Attained the rank of Full Professor at Instituto Superior Técnico in 2021. * **Mulheres na Ciência:** Recipient of the 2021 award recognizing distinguished women in the field of science. * **Research Leadership:** Long-term researcher at the Telecommunications Institute in Lisbon since 2013. * **Interdisciplinary Impact:** Significant contributions to both AI models and the field of bioinformatics. ## Body ### Academic Career and Tenure Inês Lynce has spent the majority of her professional career at the Instituto Superior Técnico (IST) in Portugal. Her tenure at the institution began in 2005. She served as an Associate Professor from 2013 until 2021, at which point she was appointed to the position of Full Professor. ### Research Affiliations Since 2013, Lynce has been affiliated with the Telecommunications Institute (Instituto de Telecomunicações) in Lisbon. This role complements her academic work, allowing for focused research into computer engineering and intelligent software behavior. ### Fields of Research Lynce’s research portfolio is characterized by its focus on high-level computational theory and its practical applications: * **Artificial Intelligence:** Studying and developing software that exhibits intelligent behavior. * **Computational Logic:** Utilizing mathematical logic to solve complex problems in computer science. * **Bioinformatics:** Combining biology and statistics with computer science to analyze biological datasets. * **Formal Methods:** Applying rigorous mathematical techniques for the specification and verification of software and hardware systems. ### Recognition and Academic Identifiers In 2021, Lynce was recognized by the "Mulheres na Ciência" initiative. Her work is widely cited and indexed under several international identifiers, including: * **ORCID:** 0000-0003-4868-415X * **Scopus Author ID:** 6603143167 * **DBLP:** 94/3399 * **VIAF:** 154156563353123240549 ## References 1. [ORCID Public Data File 2023](https://pub.orcid.org/v3.0/0000-0003-4868-415X/employment/17949848) 2. [ORCID Public Data File 2023](https://pub.orcid.org/v3.0/0000-0003-4868-415X/employment/899115) 3. [ORCID Public Data File 2023](https://pub.orcid.org/v3.0/0000-0003-4868-415X/employment/899122) 4. [Source](https://www.cienciaviva.pt/mulheresnaciencia/home/?id=954&ano=2021) 5. [ORCID Public Data File 2020](https://pub.orcid.org/v3.0_rc1/0000-0003-4868-415X/researcher-urls/452571) 6. [ORCID Public Data File 2020](https://pub.orcid.org/v3.0_rc1/0000-0003-4868-415X/external-identifiers/172568) 7. [ORCID Public Data File 2020](https://pub.orcid.org/v3.0_rc1/0000-0003-4868-415X/external-identifiers/1349465) 8. National Library of Israel Names and Subjects Authority File