Personal identification

Full name

Filipe 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)

	Degree	Classification
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

Science

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

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

Publications

Conference paper

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

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