SIGPesq

Pesquisador

Jefferson O. Andrade
Campus Serra
Formação Acadêmica: Doutorado
http://lattes.cnpq.br/7138275599443632

Palavras Chave

Ciência da Computação,Métodos Formais,Verificação Formal,Programação Lógica,Especificação Formal

Áreas de Conhecimento

Áreas de atuação na realização de Pesquisa

Grande Área de Conhecimento Área de Conhecimento
Ciências Exatas e da Terra Ciência da Computação

Grupos de Pesquisa

Sigla Nome Campus Área de Conhecimento
Nu(TeC)² Núcleo de estudos em Teoria da Computação e Técnicas de Computação Serra Ciência da Computação

Projetos

Início Fim Título Área de Conhecimento Campus
01/09/2025 31/12/2027 ****** [Trabalho Protegido por Sigilo] ****** Ciências Ambientais Itapina
01/09/2024 30/08/2025 Um estudo sobre geração e detecção de DeepFake de Voz Ciência da Computação Serra
01/12/2022 30/09/2026 ****** [Trabalho Protegido por Sigilo] ****** Ciência da Computação Serra
28/11/2022 30/11/2026 ****** [Trabalho Protegido por Sigilo] ****** Ciência da Computação Serra
01/08/2022 31/12/2029 Implantação de uma estação meteorológica automática para estudos de geração de energia e planejamento energético Engenharia Elétrica Serra
01/07/2022 31/12/2023 Análise de transcrição musical automática do tipo piano roll por compositor Ciência da Computação Serra
01/08/2022 31/07/2025 Os dados do ENEM mapeados por município do Espírito Santo Ciência da Computação Serra
01/03/2021 28/02/2024 ****** [Trabalho Protegido por Sigilo] ****** Ciência da Computação Serra
22/03/2021 31/12/2023 Detecção Automática de Rachaduras em Concretos por Visão Computacional Ciência da Computação Serra
01/08/2021 23/12/2022 Segmentação de defeitos em tecidos por Redes Neurais Convolucionais Ciência da Computação Serra
01/08/2020 01/08/2021 Instrumentação de um Drone Restaurador Florestal de Tecnologia LoRa Engenharia Elétrica Serra
01/07/2019 30/09/2021 ****** [Trabalho Protegido por Sigilo] ****** Ciência da Computação Serra
01/08/2019 01/04/2022 Observatório Automático de Egressos do Ifes via Redes Sociais Ciência da Computação Serra
01/08/2016 31/12/2019 ****** [Trabalho Protegido por Sigilo] ****** Ciência da Computação Serra
01/08/2016 31/07/2017 Sistema de Classificação e Mapeamento de Tartarugas Marinhas Ciência da Computação Serra
01/08/2015 31/07/2016 ****** [Trabalho Protegido por Sigilo] ****** Ciência da Computação Serra
01/08/2014 01/08/2015 Um Sistema Móvel de Dicção de Palavras para Tratamento de Disfemia Ciência da Computação Serra
bg-Illustration