Pedro Silva Email & Phone Number

Sempre tive um particular interesse em resolução de problemas, mas só na faculdade encontrei a programação e a ciência da computação, e percebi rapidamente que tinha encontrado a minha vocação.Ao longo do meu percurso académico, desenvolvi um particular interesse por linguagens de programação, sistemas distribuídos, algoritmos e estruturas de dados. Na minha dissertação de mestrado, intitulada "Static Analysis for Detection of Defects in Machine Learning Pipelines", concebi uma forma de detetar defeitos em pipelines de Machine Learning antes de as executar, poupando recursos e prevenindo o deployment de modelos com capacidade de previsão abaixo do esperado. Para o efeito, desenvolvi uma linguagem específica de domínio que permite a modulação de pipelines e um interpretador para a mesma, formalizei em lógica de primeira ordem a semântica de alguns dos componentes que podem existir numa pipeline, e criei uma ferramenta que utiliza as formalizações dos componentes para verificar a correção semântica das pipelines.Atualmente sou Engenheiro de Software na Opensoft. Aqui, para além de colocar em prática o conhecimento técnico adquirido no percurso académico, e as minhas habilidades de resolução de problemas, continuo a aprender todos os dias e a crescer como profissional, muito graças ao bom ambiente de trabalho que a Opensoft proporciona.Os meus pontos fortes são a qualidade de entrega e atenção aos pormenor. Não gosto de fazer por fazer, gosto de fazer da melhor forma possível, com o conhecimento que tenho.