???global.info.a_carregar???
Identification

Personal identification

Full name
Álvaro Manuel Festas Pereira da Silva

Citation names

  • Silva, Álvaro

Author identifiers

Ciência ID
8E14-6102-542F
ORCID iD
0009-0005-2941-9942

Email addresses

  • amfpsilva@hotmail.com (Personal)
Education
Degree Classification
2024/09/01 - 2028/09/01
Ongoing
Programa Doutoral em Engenharia Informática (Doutoramento)
Universidade do Porto Faculdade de Engenharia, Portugal
2016/09/01 - 2021/07/07
Concluded
Engenharia Eletrotécnica e de Computadores (Mestrado integrado)
Major in Telecomunicações, Eletrónica e Computadores
Universidade do Porto Faculdade de Engenharia, Portugal
"Using Dimensional Aware Genetic Programming to find interpretable Dispatching Rules for the Job Shop Scheduling Problem" (THESIS/DISSERTATION)
19
Affiliation

Science

Category
Host institution
Employer
2020/10/01 - 2021/08/01 Researcher (Research) Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
Universidade do Porto Faculdade de Engenharia, Portugal

Others

Category
Host institution
Employer
2021/08/01 - 2024/10/31 ASIC digital Staff Engr Synopsys Inc, United States
Outputs

Publications

Conference paper
  1. Silva, Álvaro; Mendes, Alexandra; João F. Ferreira. "Leveraging Large Language Models to Boost Dafny's Developers Productivity". Paper presented in FormaliSE24, Lisboa, 2024.
    Accepted
Thesis / Dissertation
  1. "Using Dimensional Aware Genetic Programming to Find Interpretable Dispatching Rules for the Job Shop Scheduling Problem". Master, Universidade do Porto Faculdade de Engenharia, 2021. https://repositorio-aberto.up.pt/bitstream/10216/135073/2/485161.pdf.
Activities

Oral presentation

Presentation title Event name
Host (Event location)
2021/05/05 A Simple Approach to Lamport’s State Machine Replication IJUP´2021
FEUP (porto, Portugal)
Distinctions

Award

2018 Bolsas de Estudos por Mérito da Universidade do Porto
Universidade do Porto, Portugal
2018 Prémios Incentivo
Universidade do Porto, Portugal
2017 Bolsas de Estudos por Mérito da Universidade do Porto
Universidade do Porto, Portugal