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.

researcher.public.profile.intro.card.main.field.of.science

fields.record.subjectFos.values.computer-and-information-sciences

researcher.public.profile.intro.card.external.profiles

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

researcher.public.profile.intro.card.scientific.production

researcher.public.profile.co-authors.header

researcher.public.profile.co-authors.description

Loading Name

Loading username

Loading Name

Loading username

Loading Name

Loading username

Loading Name

Loading username

Loading Name

Loading username

Loading Name

Loading username