Filipe Marques

Junior Researcher @ INESC-ID, PhD Student @ IST

Welcome! My name is Filipe Marques. I am a PhD Student in Computer Science and Engineering at Instituto Superior Técnico (IST), 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 IST. My dissertation, entitled Robust Symbolic Execution for WebAssembly, was supervised by Prof. José Fragoso Santos and Prof. Nuno Santos and was defended on December 2021.

news

Apr 29, 2022 Our paper Concolic Execution for WebAssembly was accepted at ECOOP’22!
Dec 3, 2021 I’ve now completed my MSc in Computer Science and Engineering at IST!

selected publications

  1. RV
    TestSelector: Automatic Test Suite Selection for Student Projects
    Marques, Filipe, Morgado, António, Fragoso Santos, José, and Janota, Mikoláš
    In Runtime Verification 2022
  2. ECOOP
    Concolic Execution for WebAssembly
    Marques, Filipe, Fragoso Santos, José, Santos, Nuno, and Adão, Pedro
    In 36th European Conference on Object-Oriented Programming (ECOOP 2022) 2022