???global.info.a_carregar???
I am a Junior Researcher at Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa (INESC-ID) and a Teaching Assistant at Instituto Superior Técnico, University of Lisbon. I concluded my BSc (2017) and MSc (2019) in Information Systems and Computer Engineering at Instituto Superior Técnico, University of Lisbon. . During this time, I obtained not only top marks, but I also acquired unique soft skills as Student Delegate, for 3 years, and Student Member of The Pedagogical Council, for 1 year. During my studies, I have received 5 Student Excellence Diplomas. From an early age, I have been fascinated with Computer Science (CS). My BSc and MSc degrees at IST proved instrumental to broaden my interests in different areas of CS, including Artificial Intelligence, Automated Reasoning, Formal Methods, Machine Learning, but also Program Repair and Program Synthesis. During the final year of my MSc final year, I worked as a Student Intern at OutSystems. My MSc thesis was supervised by Professor Vasco Manquinho from IST and Miguel Ventura from OutSystems. During the same period, I was also a Research Assistant at Carnegie Mellon University, USA, where I worked with Professor Ruben Martins.
Identificação

Identificação pessoal

Nome completo
Pedro Miguel Orvalho Marques da Silva

Nomes de citação

  • Orvalho, Pedro

Identificadores de autor

Ciência ID
7310-59B6-174C
Google Scholar ID
FfqinEsAAAAJ

Websites

Domínios de atuação

  • Ciências Exatas - Ciências da Computação e da Informação - Ciências da Computação

Idiomas

Idioma Conversação Leitura Escrita Compreensão Peer-review
Inglês Utilizador independente (B2) Utilizador independente (B2) Utilizador independente (B2) Utilizador independente (B2) Utilizador independente (B2)
Português (Idioma materno)
Espanhol; Castelhano Utilizador elementar (A2) Utilizador independente (B1) Utilizador elementar (A2) Utilizador independente (B1) Utilizador elementar (A2)
Checo Utilizador elementar (A1) Utilizador elementar (A1) Utilizador elementar (A1) Utilizador elementar (A1) Utilizador elementar (A1)
Formação
Grau Classificação
2020/09 - 2024
Em curso
Computer Science and Engineering (Doutoramento)
Universidade de Lisboa - Instituto Superior Técnico, Portugal
2017/09/14 - 2019/11/15
Concluído
Mestrado Bolonha em Engenharia Informática e de Computadores (Mestrado)
Especialização em 1- Sistemas Inteligentes, 2- Algoritmos e Programação
Universidade de Lisboa - Instituto Superior Técnico, Portugal
"SQUARES : A SQL Synthesizer Using Query Reverse Engineering" (TESE/DISSERTAÇÃO)
19
Percurso profissional

Ciência

Categoria Profissional
Instituição de acolhimento
Empregador
2020/01/01 - Atual Assistente de Investigação (carreira) (Investigação) Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
2018/09/15 - 2019/12/31 Estagiário de Investigação (Investigação) Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
2018/09/16 - 2019/11/15 Estagiário de Investigação (Investigação) OutSystems, Portugal
OutSystems, Portugal
2019/02 - 2019/05 Assistente de Investigação (carreira) (Investigação) Carnegie Mellon University, Estados Unidos
Carnegie Mellon University, Estados Unidos

Docência no Ensino Superior

Categoria Profissional
Instituição de acolhimento
Empregador
2020/02/15 - Atual Assistente (Docente Universitário) Universidade de Lisboa - Instituto Superior Técnico, Portugal
Universidade de Lisboa - Instituto Superior Técnico, Portugal
Projetos

Bolsa

Designação Financiadores
2020/01/01 - Atual Data2Help: Data Science for Optimization of Emergency Medical Services
DSAIPA/AI/0044/2018
Bolseiro de Mestrado
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
Em curso
Produções

Publicações

Artigo em conferência
  1. Pedro Orvalho; Miguel Neves; Miguel Ventura; Ruben Martins; Vasco Manquinho. "SQUARES : A SQL Synthesizer Using Query Reverse Engineering". Trabalho apresentado em VLDB2020 : International Conference on Very Large Data Bases, Tokyo, 2020.
    Publicado
  2. Orvalho, Pedro; Miguel Neves; Miguel Ventura; Ruben Martins; Vasco Manquinho. "Encodings for Enumeration-Based Program Synthesis". Trabalho apresentado em International Conference on Principles and Practice of Constraint Programming, Stamford, 2019.
    Publicado
Recurso online
  1. Orvalho, Pedro; Ruben Martins; Vasco Manquinho. SQUARES - A SQL and R Synthesizer Using Query Reverse Engineering. 2019. https://squares-sql.github.io.
Tese / Dissertação
  1. Orvalho, Pedro. "SQUARES : A SQL Synthesizer Using Query Reverse Engineering". Mestrado, Universidade de Lisboa - Instituto Superior Técnico, 2019. https://fenix.tecnico.ulisboa.pt/cursos/meic-a/dissertacao/1691203502343465.
Distinções

Prémio

2019 Student Excellence Diploma
Universidade de Lisboa - Instituto Superior Técnico, Portugal
2018 Student Excellence Diploma
Universidade de Lisboa - Instituto Superior Técnico, Portugal
2017 Student Excellence Diploma
Universidade de Lisboa - Instituto Superior Técnico, Portugal
2017 REN BSc Merit Award
Redes Energéticas Nacionais, Portugal
2016 Student Excellence Diploma
Universidade de Lisboa - Instituto Superior Técnico, Portugal