???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

  • Exact Sciences - Computer and Information Sciences - Computer Sciences

Languages

Language Speaking Reading Writing Listening Peer-review
English Advanced (C1) Advanced (C1) Advanced (C1) Advanced (C1)
Spanish; Castilian Intermediate (B1) Intermediate (B1) Beginner (A1) Intermediate (B1)
Education
Degree Classification
2022/10/01 - 2026/10/10
Ongoing
 Engenharia Informática e de Computadores (Doutoramento)
Major in Cibersegurança
Universidade de Lisboa Instituto Superior Técnico, Portugal
2019/09 - 2021/12
Concluded
 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
Concluded
 Ciências de Engenharia - Engenharia Informática e de Computadores (Licenciatura)
Universidade de Lisboa Instituto Superior Técnico, Portugal
 16
Affiliation

Science

Category
Host institution 		Employer
2022/10/01 - Current Researcher (Research) Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
2021/12 - 2022/09 Research Trainee (Research) Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal

Others

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

Grant

Designation Funders
2021/12 - Current INFOCOS - Intelligent Feedback for Content Students
PTDC/CCI-COM/32378/2017
Scientific Initiation Fellow
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
 Fundação para a Ciência e a Tecnologia
Ongoing
Outputs

Publications

Conference paper
  1. Marques, Filipe; José Fragoso Santos; Santos, Nuno; Pedro Adão. Corresponding author: 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

Other

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

Award

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, United States
2018 Academic Merit Diploma
Universidade de Lisboa Instituto Superior Técnico, Portugal
2017 Academic Merit Diploma
Universidade de Lisboa Instituto Superior Técnico, Portugal