Filipe Gouveia is a researcher at INESC-ID Lisboa in the Automated Reasoning and Software Reliability (ARSR) group. His research interests are included in the field of artificial intelligence, such as algorithms for computational logic, constraint solving, program synthesis, machine learning, and natural language processing. He enjoys addressing practical problems with logic-based approaches, namely problems in the biology field. Filipe has also been a teaching assistant at IST - Universidade de Lisboa, in the Department of Computer Science.

Field of Research (FOS)

Computer and information sciences

External profiles

Ciência ID: FF10-8917-D9E9
DBLP: homepages/204/9124
ORCID: 0000-0003-1852-2782
Scopus: 57195585102

Scientific production

Affiliations

Browse every affiliation of this author’s scientific career.

Loading unit name

mo year - mo year

Loading unit name

mo year - mo year

Loading unit name

mo year - mo year

Loading unit name

mo year - mo year

Loading unit name

mo year - mo year

Loading unit name

mo year - mo year