CV

Basics

Name André Filipe Ferreira do Nascimento
Phone (+351) 914409368
Email andreffnascimento@outlook.com andreffnascimento@tecnico.ulisboa.pt
Programming OCaml, JavaScript/TypeScript, C/C++, Java, Python
Languages Portuguese (Native Speaker), English (Professional Proficiency)
Summary Portuguese-born PhD student and junior researcher with a strong interest in formal methods for programming languages.

Education

  • 2024.10 - present

    Lisbon, Portugal

    PhD in Computer Science and Engineering
    Instituto Superior Técnico, University of Lisbon
    • Supervisor - Prof. José Fragoso Santos (IST)
    • Co-Supervisor - Prof. Nuno Santos (IST)
  • 2021.09 - 2023.11

    Lisbon, Portugal

    MSc in Computer Science and Engineering
    Instituto Superior Técnico, University of Lisbon
    Algorithms and Applications & Software Engineering
    • Supervisor - Prof. José Fragoso Santos (IST)
    • Thesis - A Typed Intermediate Language for Specifying the ECMAScript Standard
  • 2018.09 - 2021.07

    Lisbon, Portugal

    BSc in Computer Science and Engineering
    Instituto Superior Técnico, University of Lisbon

Work

  • 2025.03 - present

    Lisbon, Portugal

    First Stage Researcher (R1) | Project WebCap
    INESC-ID, Lisbon, Portugal
    Currently working on the scraper that will collect data from the web via automated program synthesis.
  • 2023.10 - 2024.10

    Lisbon, Portugal

    First Stage Researcher (R1) | Project SmartRetail
    INESC-ID, Lisbon, Portugal
    Formalized and implemented a symbolic fuzzer to generate security exploits for Node.js applications.
    • Submitted the paper “Automated Exploit Generation for Node.js Packages”, accepted at PLDI'25.
  • 2023.02 - 2023.07

    Lisbon, Portugal

    First Stage Researcher (R1) | Project DIVINA
    INESC-ID, Lisbon, Portugal
    Developed a reference interpreter for the 6th version of the JavaScript standard, which served as the foundation for a new symbolic execution tool for JavaScript.
  • 2022.02 - 2023.07

    Lisbon, Portugal

    Teaching Assistant
    Instituto Superior Técnico, University of Lisbon
    • Spring 2023 - ESof2: Software Engineering
    • Fall 2022 - FProg-2: Foundations of Programming
    • Spring 2022 - ESof2: Software Engineering

Publications

Awards

Volunteer

  • 2025.06 - 2025.06

    Seoul, South Korea

    Volunteer in PLDI'25
    46th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2025)
  • 2023.06 - present

    Caldas da Rainha, PT

    Sports Association Board Secretary
    B.W.C.R. — Clube de Calistenia das Caldas da Rainha
    Responsible for overseeing internal administrative operations, coordinating board meetings, and managing documentation.
  • 2020 - 2021

    Lisbon, Portugal

    Mentoring Programme 2020/21
    Núcleo de Apoio ao Estudante (NAPE), Instituto Superior Técnico, University of Lisbon