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.
|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!|