???global.info.a_carregar???
Identification

Personal identification

Full name
Filipe dos Santos Oliveira Marques

Citation names

  • Marques, Filipe

Author identifiers

Ciência ID
A71C-3E32-3EC0
ORCID iD
0000-0002-2555-5382

Knowledge fields

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

Languages

Language Speaking Reading Writing Listening 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)
Education
Degree Classification
2022/10/01 - 2026/10/10
Em curso
 Engenharia Informática e de Computadores (Doutoramento)
Major in 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)
Major in Cibersegurança
Universidade de Lisboa Instituto Superior Técnico, Portugal
"Robust Symbolic Execution for WebAssembly" (THESIS/DISSERTATION)
 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
Affiliation

Ciência

Category
Host institution 		Employer
2022/10/01 - Current 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

Category
Host institution 		Employer
2024/06/01 - 2024/08/31 Software Engineer Intern OCamlPro, França
Projects

Bolsa

Designation Funders
2021/12 - Current 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
Outputs

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
Artigo em revista
  1. 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
  1. Filipe Marques; José Fragoso Santos; Nuno Santos; Pedro Adão. "Concolic Execution for WebAssembly (Artifact)". 2022.
    10.4230/DARTS.8.2.20
Distinctions

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