Search
Close this search box.

Filipe Marques

I am a PhD Student in Computer Science and Engineering at Instituto Superior Técnico (Técnico), where I am very fortunate to be advised by Prof. José Fragoso Santos and Prof. Nuno Santos. I am also a junior researcher at INESC-ID, working on applying software verification and testing tools to support computer science students in their learning process. My research interests are mainly in programming languages, software verification and validation, formal methods, and cybersecurity. Previously, I completed my MSc in Computer Science and Engineering at Tecnico. My dissertation, entitled Robust Symbolic Execution for WebAssembly, was supervised by Prof. José Fragoso Santos and Prof. Nuno Santos and was defended on December 2022.

Research topics:Software Security
Enrollment year: 2022
Thesis: A Symbolic Analysis for Detecting Injection Vulnerabilities in Node.js Applications
PT Supervisor: José Fragoso Santos
PT Supervisor: Nuno Santos
CMU Supervisor: Limin Jia