???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; .
Identificação

Identificação pessoal

Nome completo
André Filipe Ferreira do Nascimento

Nomes de citação

  • Nascimento, A
  • Nascimento, André

Identificadores de autor

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

Endereços de correio eletrónico

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

Telefones

Mobile phone
  • 914409368 (Personal)

Websites

Domínios de atuação

  • Engineering and Technology - Electrotechnical Engineering, Electronics and Informatics

Idiomas

Idioma Conversação Leitura Escrita Compreensão Peer-review
Portuguese (Idioma materno)
English Advanced (C1) Proficiency (C2) Proficiency (C2) Proficiency (C2) Proficiency (C2)
Formação
Grau Classificação
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" (TESE/DISSERTAÇÃO)
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
Percurso profissional

Teaching in Higher Education

Categoria Profissional
Instituição de acolhimento
Empregador
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
Projetos

Contract

Designação Financiadores
2023/10/30 - 2024/10/31 Smart Retail - PRR Agenda Smart Retail
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
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
Produções

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". Trabalho apresentado em 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.
Atividades

Association member

Nome da associação Tipo de participação
2023/06/23 - Atual B.W.C.R – Clube de Calistenia das Caldas da Rainha Sports Association Board Secretary

Course / Discipline taught

Disciplina Curso (Tipo) Instituição / Organização
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
Distinções

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