???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. 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.
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 Upper intermediate (B2) Advanced (C1) Upper intermediate (B2) Advanced (C1) Advanced (C1)
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.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.1 / 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/03/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
Ongoing
2023/02/14 - 2023/06/13 Project: DIVINA: Detecting Injection Vulnerabilities In Node.js Applications
CMU/TlC/005312021
Master Student Fellow
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
Concluded
Outputs

Publications

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

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