cv

General Information

Full Name Filipe Marques
Programming OCaml, Python, C/C++, Java, JavaScript, WebAssembly, Haskell
Languages Portuguese (Native), English (Fluent)

Experience

  • 2022 - Now
    First Stage Researcher
    INESC-ID, Lisbon
    • Unit - Automated Reasoning and Software Reliability (ARSR)
  • 2024
    Software Engineer Intern
    OCamlPro
    • Summer intership working improving the Owi symbolic execution engine
    • Helped submit a paper on Owi which was accepted in the 2025 Programming Journal
  • 2021 - 2022
    Early Stage Researcher
    INESC-ID, Lisbon
    • Project - Intelligent Feedback for Centent Students (INFOCOS)

Education

  • 2022 - Present
    Ph.D. in Computer Science and Engieering
    Instituto Superior Técnico, Portugal
    • Supervisors - Profs. José Fragoso Santos (IST), Limin Jia (CMU), and Nuno Santos (IST)
  • 2019 - 2021
    M.Sc. in Computer Science and Engineering
    Instituto Superior Técnico, Portugal
    • Thesis - Robust Symbolic Execution for WebAssembly
    • Superviros - Prof. José Fragoso Santos and Prof. Nuno Santos
  • 2016 - 2019
    B.Sc. in Computer Science and Engineering
    Instituto Superior Técnico, Portugal

Open Source Projects

  • 2023-now
    Owi
    • Cross-language Bugfinder | Bring Your Own Language Solver-Aided Programming | WebAssembly Swissknife
  • 2023-now
    smtml
    • An SMT solver frontend for OCaml
  • 2021-2023
    WASP
    • Symbolic Execution Engine for WebAssembly

Honors and Awards

  • 2022
    • CMU Portugal Affiliated Ph.D. Program Scholarship
  • 2020
    • Academic Merid Diploma, Instituto Superior Técnico
  • 2019
    • Academic Merid Diploma, Instituto Superior Técnico
  • 2018
    • Academic Merid Diploma, Instituto Superior Técnico