Ines Lynce

ORCID iD
https://orcid.org/0000-0003-4868-415X
  • Keywords
  • Show details Hide details
Artificial Intelligence, Computational Logic, Formal Methods, Optimization, Bioinformatics

Sources:
Ines Lynce (2018-02-06)

  • Websites
  • Show details Hide details
INESC-ID web site

Sources:
Ines Lynce (2015-05-08)

  • Other IDs
  • Show details Hide details
Scopus Author ID: 6603143167

Sources:
Scopus - Elsevier (2013-11-21)

Biography

PhD 2005 Senior Researcher at INESC-ID Associate Professor at Instituto Superior Técnico / Universidade de Lisboa

Record last modified {{lastModifiedDate}}