Filipe Gouveia

General Info

GroupAutomated Reasoning and Software Reliability (ARSR)
Role in INESC-IDResearcher
EntityInesc-ID
DegreeDoutoramento
ResearcherIDAAA-7225-2022
ORCIDhttps://orcid.org/0000-0003-1852-2782

Main Interests

Filipe Gouveia is a researcher at INESC-ID Lisboa in the Automated Reasoning and Software Reliability (ARSR) group. In 2021, Filipe obtained a PhD in Computer Science and Engineering from IST - Universidade de Lisboa, being approved with distinction. His PhD work focused on the application of logic-based approaches and algorithms to revise Boolean logical models of biological regulatory networks. His research interests are included in the field of artificial intelligence, such as algorithms for computational logic, constraint solving, and optimization. He enjoys addressing practical problems with logic-based approaches, namely problems in the biology field. Other research interests include program synthesis, machine learning and natural language processing. From 2018 to 2021, Filipe was a teaching assistant at IST - Universidade de Lisboa, in the Department of Computer Science, in the courses of Introduction to Algorithms and Data Structures, Analysis and Synthesis of Algorithms, and Natural Language, being awarded IST Excellent Teachers 2018/2019, IST Excellent Teachers 2019/2020, and IST Excellent Teachers 2020/2021.Filipe Gouveia is a researcher at INESC-ID Lisboa in the Automated Reasoning and Software Reliability (ARSR) group. In 2021, Filipe obtained a PhD in Computer Science and Engineering from IST - Universidade de Lisboa, being approved with distinction. His PhD work focused on the application of logic-based approaches and algorithms to revise Boolean logical models of biological regulatory networks. His research interests are included in the field of artificial intelligence, such as algorithms for computational logic, constraint solving, and optimization. He enjoys addressing practical problems with logic-based approaches, namely problems in the biology field. Other research interests include program synthesis, machine learning and natural language processing. From 2018 to 2021, Filipe was a teaching assistant at IST - Universidade de Lisboa, in the Department of Computer Science, in the courses of Introduction to Algorithms and Data Structures, Analysis and Synthesis of Algorithms, and Natural Language, being awarded IST Excellent Teachers 2018/2019, IST Excellent Teachers 2019/2020, and IST Excellent Teachers 2020/2021.

Contacts

Extension2387
Room328A
Emailplease use other contact