???global.info.a_carregar???
Identificação

Identificação pessoal

Nome completo
Álvaro Manuel Festas Pereira da Silva

Nomes de citação

  • Silva, Álvaro

Identificadores de autor

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

Endereços de correio eletrónico

  • amfpsilva@hotmail.com (Pessoal)
Formação
Grau Classificação
2024/09/01 - 2028/09/01
Em curso
Programa Doutoral em Engenharia Informática (Doutoramento)
Universidade do Porto Faculdade de Engenharia, Portugal
2016/09/01 - 2021/07/07
Concluído
Engenharia Eletrotécnica e de Computadores (Mestrado integrado)
Especialização em 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" (TESE/DISSERTAÇÃO)
19
Percurso profissional

Ciência

Categoria Profissional
Instituição de acolhimento
Empregador
2020/10/01 - 2021/08/01 Investigador (Investigação) Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
Universidade do Porto Faculdade de Engenharia, Portugal

Outros

Categoria Profissional
Instituição de acolhimento
Empregador
2021/08/01 - 2024/10/31 ASIC digital Staff Engr Synopsys Inc, Estados Unidos
Produções

Publicações

Artigo em conferência
  1. Silva, Álvaro; Mendes, Alexandra; João F. Ferreira. "Leveraging Large Language Models to Boost Dafny's Developers Productivity". Trabalho apresentado em FormaliSE24, Lisboa, 2024.
    Aceite para publicação
Tese / Dissertação
  1. "Using Dimensional Aware Genetic Programming to Find Interpretable Dispatching Rules for the Job Shop Scheduling Problem". Mestrado, Universidade do Porto Faculdade de Engenharia, 2021. https://repositorio-aberto.up.pt/bitstream/10216/135073/2/485161.pdf.
Atividades

Apresentação oral de trabalho

Título da apresentação Nome do evento
Anfitrião (Local do evento)
2021/05/05 A Simple Approach to Lamport’s State Machine Replication IJUP´2021
FEUP (porto, Portugal)
Distinções

Prémio

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