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 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 and IST Excellent Teachers 2019/2020.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 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 and IST Excellent Teachers 2019/2020.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 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 and IST Excellent Teachers 2019/2020.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 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 and IST Excellent Teachers 2019/2020.

Contacts

Extension2387
Room328 A
Emailfilipe.gouveia(at)tecnico.ulisboa.pt