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.

Área de Especialização (FOS)

Ciências da Computação e da Informação

Perfis externos

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

Produção científica

Afiliações

Consulte as afiliações do percurso científico deste autor.

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