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)
  • 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
    Encoding
    • Abstract Syntax for Symbolic Value Encoding in OCaml
  • 2021-now
    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