???global.info.a_carregar???
Identificação

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)
Formação
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
Percurso profissional

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
Projetos

Bolsa

Designação Financiadores
2021/12 - Atual INFOCOS - Intelligent Feedback for Content Students
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
Produções

Publicações

Artigo em conferência
  1. 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
  2. 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

Outros

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

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