CV
Basics
| Name | André Filipe Ferreira do Nascimento |
| Phone | (+351) 914409368 |
| 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
Work
-
2026.02 - present Lisbon, Portugal
Teaching Assistant
Instituto Superior Técnico, University of Lisbon
- Spring 2026 - ESof2: Software Engineering
-
2025.03 - 2025.11 Lisbon, Portugal
First Stage Researcher (R1) | Project WebCap
INESC-ID, Lisbon, Portugal
Worked 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
-
2026.02.03 How to Find and Exploit Vulnerabilities in Node.js Packages?
A. Nascimento and F. Marques
Invited talk at PL@LX Epsilon
-
2026.01.12 How to Identify Security Vulnerabilities in Node.js Packages?
J. Fragoso Santos, F. Marques, A. Nascimento
Research talk at POPL'26
-
2025.06.13 Automated Exploit Generation for Node.js Packages
F. Marques, M. Ferreira, A. Nascimento, M. Coimbra, N. Santos, L. Jia, J. Fragoso Santos.
Research paper in PLDI'25
Awards
- 2025.08.02
FCT PhD Scholarship
Fundação para a Ciência e Tecnologia, Portugal
- 2022.07.01
Award on a Software Engineering Context
Celfocus/Novabase
- 2021/2022
Academic Merit Diploma
Instituto Superior Técnico, University of Lisbon
- 2020/2021
Academic Excellency Diploma
Instituto Superior Técnico, University of Lisbon
- 2019/2020
Academic Merit Diploma
Instituto Superior Técnico, University of Lisbon
- 2018/2019
Academic Merit Diploma
Instituto Superior Técnico, University of Lisbon
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.