Identificação pessoal

Nome completo

Filipe dos Santos Oliveira Marques

Nomes de citação

• Marques, Filipe

Identificadores de autor

Ciência ID

A71C-3E32-3EC0

ORCID iD

0000-0002-2555-5382

Domínios de atuação

• Ciências Exatas - Ciências da Computação e da Informação - Ciências da Computação

Idiomas

Idioma	Conversação	Leitura	Escrita	Compreensão	Peer-review
Inglês	Utilizador proficiente (C1)	Utilizador proficiente (C1)	Utilizador proficiente (C1)	Utilizador proficiente (C1)
Espanhol; Castelhano	Utilizador independente (B1)	Utilizador independente (B1)	Utilizador elementar (A1)	Utilizador independente (B1)

	Grau	Classificação
2022/10/01 - 2026/10/10 Em curso	Engenharia Informática e de Computadores (Doutoramento) Especialização em Cibersegurança Universidade de Lisboa Instituto Superior Técnico, Portugal
2019/09 - 2021/12 Concluído	Ciências de Engenharia - Engenharia Informática e de Computadores (Mestrado) Especialização em Cibersegurança Universidade de Lisboa Instituto Superior Técnico, Portugal "Robust Symbolic Execution for WebAssembly" (TESE/DISSERTAÇÃO)	17
2016/09 - 2019/09 Concluído	Ciências de Engenharia - Engenharia Informática e de Computadores (Licenciatura) Universidade de Lisboa Instituto Superior Técnico, Portugal	16

Ciência

	Categoria Profissional Instituição de acolhimento	Empregador
2022/10/01 - Atual	Investigador (Investigação)	Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
2021/12 - 2022/09	Estagiário de Investigação (Investigação)	Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal

Outros

	Categoria Profissional Instituição de acolhimento	Empregador
2024/06/01 - 2024/08/31	Software Engineer Intern	OCamlPro, França

Bolsa

	Designação	Financiadores
2021/12 - Atual	INFOCOS - Intelligent Feedback for Content Students PTDC/CCI-COM/32378/2017 Bolseiro de Iniciação Científica Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal	Fundação para a Ciência e a Tecnologia Em curso

Publicações

Artigo em conferência	Marques, Filipe; José Fragoso Santos; Santos, Nuno; Pedro Adão. Autor correspondente: Marques, Filipe. "Concolic Execution for WebAssembly". 2022. 10.4230/LIPICS.ECOOP.2022.11 Filipe Marques; António Morgado; José Fragoso Santos; Mikoláš Janota. "TestSelector: Automatic Test Suite Selection for Student Projects". 2022. 10.1007/978-3-031-17196-3_17
Artigo em revista	Andrès, Léo; Marques, Filipe; Carcano, Arthur; Chambart, Pierre; Fragoso Santos, José; Filli âtre, Jean-Christophe. "Owi: Performant Parallel Symbolic Execution Made Easy, an Application to WebAssembly". The Art, Science, and Engineering of Programming 9 2 (2024): https://hal.science/hal-04627413.

Outros

Software

Filipe Marques; José Fragoso Santos; Nuno Santos; Pedro Adão. "Concolic Execution for WebAssembly (Artifact)". 2022. 10.4230/DARTS.8.2.20

Prémio

2022	CMU Portugal Affiliated Ph.D. Program Fundação para a Ciência e a Tecnologia, Portugal Universidade de Lisboa Instituto Superior Técnico, Portugal Carnegie Mellon University, Estados Unidos
2018	Academic Merit Diploma Universidade de Lisboa Instituto Superior Técnico, Portugal
2017	Academic Merit Diploma Universidade de Lisboa Instituto Superior Técnico, Portugal