???global.info.a_carregar???
André Filipe Ferreira do Nascimento. Completed the Mestrado in Engenharia Informática e de Computadores in 2023/12/31 by Universidade de Lisboa Instituto Superior Técnico and Licenciatura in Ciências de Engenharia - Engenharia Informática e de Computadores in 2021/07/31 by Universidade de Lisboa Instituto Superior Técnico. Attends the Doutoramento in Engenharia Informática e de Computadores by Universidade de Lisboa Instituto Superior Técnico since 2024/09/16. Has received 5 awards and/or honors. Participates and/or participated as Master Student Fellow in 2 project(s). Works in the area(s) of Engineering and Technology with emphasis on Electrotechnical Engineering, Electronics and Informatics. In his curriculum Ciência Vitae the most frequent terms in the context of scientific, technological and artistic-cultural output are: Symbolic Execution; Exploit Generation; Node.js Security; ECMAScript; ECMA-SL; ECMARef6; Typed ECMA-SL; Type Declarations; Type Systems; .
Read full resume ↓
Identification

Personal identification

Full name
André Filipe Ferreira do Nascimento

Citation names

  • Nascimento, A
  • Nascimento, André

Author identifiers

Ciência ID
A91A-AAAA-654E
ORCID iD
0009-0000-0043-3613

Email addresses

  • andreffnascimento@outlook.com (Professional)
  • andreffnascimento@tecnico.ulisboa.pt (Professional)

Telephones

Mobile phone
  • 914409368 (Personal)

Websites

Knowledge fields

  • Engineering and Technology - Electrotechnical Engineering, Electronics and Informatics

Languages

Language Speaking Reading Writing Listening Peer-review
Portuguese (Mother tongue)
English Advanced (C1) Proficiency (C2) Proficiency (C2) Proficiency (C2) Proficiency (C2)
Education
Degree Classification
2021/09/01 - 2023/12/31
Concluded
 Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
"A Typed Intermediate Language for Specifying the ECMAScript Standard" (THESIS/DISSERTATION)
 18/20
2018/09/01 - 2021/07/31
Concluded
 Ciências de Engenharia - Engenharia Informática e de Computadores (Licenciatura)
Universidade de Lisboa Instituto Superior Técnico, Portugal
 17/20
Affiliation

Teaching in Higher Education

Category
Host institution 		Employer
2022/02/01 - 2023/07/31 Invited Assistant (University Teacher) Universidade de Lisboa Instituto Superior Técnico, Portugal
Universidade de Lisboa Instituto Superior Técnico, Portugal
Projects

Contract

Designation Funders
2023/10/30 - 2024/10/31 Smart Retail - PRR Agenda Smart Retail
Refa C6632206063-00466847
Master Student Fellow
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
 European Union
Ongoing
2023/02/14 - 2023/06/13 Project: DIVINA: Detecting Injection Vulnerabilities In Node.js Applications
CMU/TIC/0053/2021
Master Student Fellow
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
 Fundação para a Ciência e a Tecnologia
Concluded
Outputs

Publications

Conference paper
  1. Marques, Filipe; Ferreira, Mafalda; Nascimento, André; Miguel E. Coimbra; Santos, Nuno; Jia, Limin; José Fragoso Santos. "Automated Exploit Generation for Node.js Packages". Paper presented in 46th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2025), Seoul, 2025.
    Accepted
Thesis / Dissertation
  1. "A Typed Intermediate Language for Specifying the ECMAScript Standard". Master, Universidade de Lisboa Instituto Superior Técnico, 2023. https://scholar.tecnico.ulisboa.pt/records/GFkKIU_FEz6SCaIkvB84Bsal2c5smqndPuOC.
Activities

Association member

Society Organization name Role
2023/06/23 - Current B.W.C.R – Clube de Calistenia das Caldas da Rainha Sports Association Board Secretary

Course / Discipline taught

Academic session Degree Subject (Type) Institution / Organization
2022/02/01 - 2023/07/31 Software Engineering Ciências de Engenharia - Engenharia Informática e de Computadores (Licenciatura) Universidade de Lisboa Instituto Superior Técnico, Portugal
2022/09/01 - 2023/02/28 Foundations of Programming Ciências de Engenharia - Engenharia Informática e de Computadores (Licenciatura) Universidade de Lisboa Instituto Superior Técnico, Portugal
Distinctions

Award

2022 Novabase Software Engineering Merit Award
Novabase SGPS SA, Portugal

Other distinction

2022 Academic Merit
Universidade de Lisboa Instituto Superior Técnico, Portugal
2021 Academic Excelency
Universidade de Lisboa Instituto Superior Técnico, Portugal
2020 Academic Merit
Universidade de Lisboa Instituto Superior Técnico, Portugal
2019 Academic Merit
Universidade de Lisboa Instituto Superior Técnico, Portugal