Joel Felipe Ferreira Gomes

Bacharel em Ciência da Computação e em Tecnologia da Informação pela UFRN. Cursei a Residência Tecnológica em Inteligência Artificial com ênfase em Tecnologias de Fala pela Pontifícia Universidade Católica de Campinas (PUC-Campinas). Técnico em Informática pelo Instituto Federal do Rio Grande do Norte (IFRN). Trabalhei como estagiário no desenvolvimento Back-end de uma API para a SINFO-UFRN; também trabalhei como membro do projeto Smart Metrópolis no Instituto Metrópole Digital (IMD-UFRN). Também atuei com pesquisa e desenvolvimento na UFRN: cientista de dados / desenvolvedor Back-end no Projeto Scylax; e pesquisador de mestrado - "Como interpretar IS-álgebras como LFI-álgebras?". Atualmente, sou Analista de Sistemas no Centro de Pesquisa e Desenvolvimento em Telecomunicações (CPQD). Eu tenho interesses nos campos de Inteligência Artificial, Aprendizado de Máquina, Desenvolvimento de Software, Ciência de Dados e Ciência da Computação teórica com foco em lógica.


Educação

Pontifícia Universidade Católica de Campinas

Residência Tecnológica em Inteligência Artificial
Linha de Pesquisa: Tecnologias de Fala
Projeto Final: Segmentação Fonética de Fala
Março 2023 - Agosto 2024

Universidade Federal do Rio Grande do Norte

Mestrado em Sistemas e Computação (interrompido*)
*Tive que interromper meus estudos em 2021 devido a dificuldades pessoais encontradas durante a pandemia de COVID-19.
Linha de Pesquisa: Fundamentos da Computação

Orientador: Umberto Rivieccio

Fevereiro 2020 - Dezembro 2021

Universidade Federal do Rio Grande do Norte

Bacharelado em Ciência da Computação

Orientador: João Marcos de Almeida

Fevereiro 2018 - Dezembro 2019

Universidade Federal do Rio Grande do Norte

Bacharelado em Tecnoligia da Informação
Ênfase: Ciência da Computação

Orientador: André Luiz de Souza Brito

Fevereiro 2015 - Dezembro 2017

Instituto Federal do Rio Grande do Norte

Técnico Integrado em Informática

Orientador: Hilário José Silveira Castro

Fevereiro 2011 - Dezembro 2014

Experiência

Analista de Sistemas

CPQD
Fevereiro 2022 - Presente

Cientista de Dados/ Desenvolvedor Back-end

Scylax Project - IMD - UFRN
Agosto 2018 - Dezembro 2023

Desenvolvedor Full Stack Pleno

iTFLEX Tecnologia
Fevereiro 2021 - Outubro 2021

Bolsista de Iniciação Científica

DIMAp - UFRN
Agosto 2018 - Fevereiro 2020

Bolsista de Iniciação Científica

Smart Metropolis - IMD - UFRN
Setembro 2017 - Agosto 2018

Estagiário de desenvolvimento Back-end

SINFO - UFRN
Abril 2016 - Agosto 2017

Monitor

DIMAp - UFRN

Monitor em Introdução a Programação do BTI.

Setembro 2015 - Dezembro 2016

Estagiário de diagramação

DIPMAD - Campus EaD - IFRN

Formatação de material didático para os cursos vinculados ao Campus EaD/IFRN.

Abril 2014 - Abril 2015

Bolsista

DIATINF - Campus Natal-Central - IFRN

Membro do Projeto OVEP (Observatório da Vida Estudantil da Educação Profissional) do DIATINF/Campus Natal-Central/IFRN.

Abril 2012 - Março 2013

Produções

Registros

CPQD4430 - VIVER 360 - APLICAÇÕES MÓVEIS ANDROID E IOS PARA MONITORAMENTO DE SAÚDE DE IDOSOS E OBTENÇÃO DE PARÂMETROS DE SAÚDE ATRAVÉS DE DISPOSITIVOS VESTÍVEIS

J. Gomes, e outros.

CPQD - INPI: BR 51 2023 003135 6

February 2023

CPQD4429 - VIVER 360 - SKILL ALEXA PARA ACESSO AO PLANO DE CUIDADOS DE IDOSOS COM MORBIDADES CRÔNICAS E SOLICITAÇÃO DE AJUDA

J. Gomes, e outros.

CPQD - INPI: BR 51 2023 003133 0

February 2023

CPQD4428 - VIVER 360 - SOLUÇÃO PARA MONITORAMENTO DA SAÚDE DE IDOSOS COM MORBIDADES CRÔNICAS - EDIÇÃO PREFEITURAS

J. Gomes, e outros.

CPQD - INPI: BR 51 2023 003132 1

February 2023

Scylax

J. Gomes, G. Aquino Junior, e outros.

UFRN - INPI: BR 51 2023 000284 4

February 2023

Publicações

On the Logics of Perfect Paradefinite Algebras

J. Gomes, V. Greati, S. Marcelino, J. Marcos, U. Rivieccio

LSFA 2021's proceedings, Electronic Proceedings in Theoretical Computer Science

July 2021

Notes on the Logics of Perfect Paradefinite Algebras

J. Gomes, V. Greati

II Workshop Brasileiro de Lógica (WBL 2021)

July 2021

Towards the automated extraction of Hilbert calculi for fragments of classical logic

J. Gomes, V. Greati, J. Marcos

19th Brazilian Logic Conference: Book of Abstracts

July 2021

Habilidades

Linguagens de Programação
Ferramentas
Sistemas Operacionais

Interesses

Além de ser um pesquisador/cientista de dados/desenvolvedor back-end, aproveito a maior parte do tempo praticando esportes, principalmente futebol e basquete, ou assistindo/estudando o máximo de esportes possíveis (mais em futebol - principalmente brasileiro e inglês - e frequentemente NFL e NBA, e não tão frequentemente os outros).

Quando forçado a não assistir, eu jogo algum jogo eletrônico de história / esportes para relaxar minha mente (ou para estressá-la ainda mais), e eu gasto grande parte do meu tempo livre explorando os últimos avanços no mundo da ciência - lógica/matemática/ciência da computação.