DIEGO SOARES PIRES FERREIRA
Graduando em Ciência da Computação pela Universidade Federal Rural de Pernambuco (UFRPE). Foi bolsista do CNPq pelo Programa Institucional de Bolsas de Iniciação Científica (PIBIC) no desenvolvimento de um arcabouço para verificação de diagramas de máquina de estado. Foi monitor da disciplina de Paradigmas de Programação (UFRPE). Trabalhou como estagiário no Tribunal Regional Eleitoral de Pernambuco (TRE-PE), na implementação de sistemas internos. Atualmente, atua profissionalmente na AiBox Lab no projeto Livox como Desenvolvedor Web.
Informações coletadas do Lattes em 23/11/2023
Acadêmico
Formação acadêmica
Graduação em andamento em Ciência da Computação
2019 - Atual
Formação complementar
2022 - 2022
Java. (Carga horária: 53h). , GFT Brasil, GFTBr, Brasil.
Idiomas
Inglês
Compreende Razoavelmente, Fala Razoavelmente, Lê Razoavelmente, Escreve Razoavelmente.
Espanhol
Compreende Razoavelmente, Fala Pouco, Lê Razoavelmente, Escreve Pouco.
Áreas de atuação
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação.
Participação em eventos
JEPEX. 2023. (Encontro).
JEPEX.DESENVOLVIMENTO DE UM ARCABOUÇO DE CÓDIGO ABERTO PARA VERIFICAÇÃO DE PROPRIEDADES EM MÁQUINAS DE ESTADO UML/SYSML. 2023. (Encontro).
TDC. 2023. (Oficina).
Evento de Integração e Inovação - EII. 2022. (Encontro).
SECOMP. 2022. (Encontro).
SEMSIS. 2022. (Encontro).
Startup Way. 2022. (Oficina).
Projetos de pesquisa
-
2021 - 2022
Desenvolvimento de um Arcabouço de código aberto para Verificação de propriedades em Máquinas de Estado UML/SysML, Descrição: O objetivo do projeto é desenvolver uma solução para a verificação de modelos UML de diagramas de máquina de estado utilizando a linguagem formal CSP. Para a realização do projeto foi necessário o uso de diferentes tecnologias incluindo: diagrama de máquina de estado UML, a linguagem CSP, desenvolvimento Java baseado em testes utilizando JUnit (TDD), noções de refinamento de modelo e a ferramenta FDR (verificador de modelos em CSP). No estado atual da ferramenta é possível realizar a tradução de diagramas de máquina de estado pouco complexos criados na plataforma Astah para a linguagem CSP através de um software tradutor construído na linguagem Java.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) . , Integrantes: Diego Soares Pires Ferreira - Coordenador / Lucas Albertins de Lima - Integrante.
Histórico profissional
Experiência profissional
2022 - 2022
Universidade Federal Rural de PernambucoVínculo: Monitoria, Enquadramento Funcional: Monitoria em Paradigmas de Programação, Carga horária: 12
Outras informações:
Monitor em Paradigmas de Programação. Correção de atividades e acompanhamento de estudantes.
2022 - 2023
Tribunal Regional Eleitoral de PernambucoVínculo: Bolsista, Enquadramento Funcional: Estágio, Carga horária: 25
Outras informações:
Desenvolvedor Web no setor de implementação de sistemas da STIC.
2023 - Atual
AIBOX Desenvolvimento de Softwares InteligentesVínculo: Bolsista, Enquadramento Funcional: Pesquisador, Carga horária: 30
Outras informações:
Desenvolvedor Frontend e Backend, no projeto LIVOX, utilizando ReactJS e Django.
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todos os processos de DIEGO SOARES PIRES FERREIRA e sempre que o nome aparecer em publicações dos Diários Oficiais, avisaremos por e-mail e pelo painel do usuário
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todas as movimentações desse processo e sempre que o processo aparecer em publicações dos Diários Oficiais e nos Tribunais, avisaremos por e-mail e pelo painel do usuário
Confirma a exclusão?