Luciano Kelvin da Silva

Mestre em ciência da computação pela Universidade de São Paulo (USP), Bacharel em ciência da computação pela Universidade Estadual do Piauí (UESPI) e técnico em informática pelo Centro federal de Educação Tecnológica (CEFET). Realizou trabalhos acadêmicos focando na área de engenharia de software, mais especificamente com verificação formal, mineração de especificação e verificação de modelos. Já trabalhou como webdeveloper onde obteve experiência com PHP, CakePHP, HTML, CSS, JS, JQuery e WordPress, e também já trabalhou como desenvolvedor de sistemas web java onde utilizava-se de AJAV 8, Kotlin, JSF, MySQL, Spring, Spring Boot, Hibernate, Primefaces, Java e JUnit.

Informações coletadas do Lattes em 28/09/2025

Acadêmico

Formação acadêmica

Mestrado em Ciências da Computação

2014 - 2016

Universidade de São Paulo
Título: Utilização de mineração de especificação na identificação de fluxos inválidos em softwares
, Ano de Obtenção: 2016.Ana Cristina Vieira de Melo.Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. Palavras-chave: Mineração de Especificação; Statecharts; Java; Máquina de Estados Finitos.

Graduação em Bacharelado em ciência da computação

2009 - 2013

Universidade Estadual do Piauí
Título: UMA PROPOSTA DE FORMALIZAÇÃO DO DIAGRAMA DE CLASSE POR MEIO DA LINGUAGEM EVENT-B.
Orientador: Thiago Carvalho de Sousa
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.

Curso técnico/profissionalizante em Informática

2007 - 2008

Instituto Federal do Piauí

Formação complementar

2012 - 2012

Curso Formação de Desenvolvedor Java Web. (Carga horária: 144h). , Remanso, RE, Brasil.

2007 - 2007

Informática Básica. (Carga horária: 40h). , Bit Point, BTP, Brasil.

Idiomas

Inglês

Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Razoavelmente.

Português

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Áreas de atuação

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação.

Organização de eventos

SILVA, L. K. . Enucomp. 2017. (Congresso).

Participação em eventos

Enucomp( Encontro unificado de Computação em Parnaíba). 2012. (Encontro).

ERCEMAPI ( Encontro Regional de computação Ceará - Maranhão - Piauí. 2012. (Encontro).

Enucomp ( Encontro unificado de computação em parnaíba ). 2011. (Congresso).

ERCEMAPI ( Encontro Regional de computação Ceará - Maranhão - Piauí. 2011. (Congresso).

Jornacsi - Jornada Científica de Sistemas de Informação. 2011. (Congresso).

Enucomp ( Encontro unificado de computação em parnaíba ). 2010. (Congresso).

ERCEMAPI ( Encontro Regional de computação Ceará - Maranhão - Piauí. 2010. (Congresso).

Enucomp ( Encontro unificado de computação em parnaíba ). 2008. (Congresso).

Participação em bancas

Aluno: Lucas Rocha da Costa

SILVA, L. K.; BALUZ, R. A. R.; SILVA, M. A. A.. Redes Neurais Artificiais no Processo de Identificação em um Sistema Biométrico de Baixo Custo com Hardware Livre. 2018. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Estadual do Piauí.

Aluno: Gyrrece Oliveira Araújo

PEREIRA, L. F.;SILVA, L. K.; SOUSA, D. L.. Técnicas para Detecção de Manipulações em Imagens Digitais. 2018. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Estadual do Piauí.

Aluno: ISABELLA TORRES DE SOUZA

SILVA, L. K.. Aplicação de uma Técnica de Mineração de Dados para Elaboração de um Modelo de Previsão do Índice Pluviométrico no Litoral do Estado do Piauí. 2016. Trabalho de Conclusão de Curso (Graduação em Computação) - Universidade Estadual do Piauí.

Aluno: Mauro Sergio Pereira da Costa

FONTENELE, H. R.;SILVA, L. K.; SILVA JUNIOR, E. B.. Análise e Implementação de um Sistema Web para Gerenciamento Financeiro de Pequenos Empresários. 2016. Trabalho de Conclusão de Curso (Graduação em Sistema de Informação) - Faculdade Piauiense.

Orientou

Lucas Rocha da Costa

Redes Neurais Artificiais no Processo de Identificação em um Sistema Biométrico de Baixo Custo com Hardware Livre; 2018; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Estadual do Piauí; Orientador: Luciano Kelvin da Silva;

Produções bibliográficas

SOUSA, T. C. ; SILVA, L. K. ; DIAS NETO, C. ; CARVALHO, C. G. N. . A Formal Semantics for Use Case Diagram Via Event-B. JOURNAL OF SOFTWARE , v. 12, p. 189-200, 2017.
SILVA, L. K. ; SOUSA, T. C. . Uma Proposta de Verificação Formal em um Processo de Desenvolvimento Orientado pela UML. In: Enucomp, 2013, Parnaíba. ANAIS ELETRÔNICOS VI ENUCOMP, 2013.
SILVA, L. K. ; SOUSA, T. C. . UMA PROPOSTA DE FORMALIZAÇÃO DO DIAGRAMA DE CLASSE POR MEIO DA LINGUAGEM EVENT-B. In: XIII Simpósio de Produção Científica & XII Seminário de Iniciação Científica, 2013, Teresina. Livro de Resumos XIII Simpósio de Produção Científica & XII Seminário de Iniciação Científica. Teresina, 2013. v. 1. p. 133-133.
SILVA, L. K. ; SOUSA, T. C. . UMA PROPOSTA DE FORMALIZAÇÃO DO DIAGRAMA DE CLASSE POR MEIO DA LINGUAGEM EVENT-B. 2013. (Apresentação de Trabalho/Simpósio).
LOYOLA, L. P. ; SILVA, L. K. . Business Intelligence no Marketing Digital: A importância do conhecimento para a tomada de decisões estratégicas. 2018. (Curso de curta duração ministrado/Outra).

Prêmios

2011

Maratona de programação - ( Etapa Regional ), SBC ( Sociedade Brasileira de Computação ).

Histórico profissional

Experiência profissional

2012 - 2014

Remanso

Vínculo: Colaborador, Enquadramento Funcional: programador, Carga horária: 30

2012 - 2013

FOX LINE TECNOLOGY

Vínculo: Colaborador, Enquadramento Funcional: WebDeveloper, Carga horária: 20

2011 - 2012

Agência QI

Vínculo: Colaborador, Enquadramento Funcional: Webdeveloper, Carga horária: 40

2017 - 2018

Universidade Estadual do Piauí

Vínculo: Servidor Público, Enquadramento Funcional: Professor Substituto, Carga horária: 20

2017 - 2019

Instituto Federal do Piauí

Vínculo: Servidor Público, Enquadramento Funcional: Professor substituto, Carga horária: 40

2020 - 2022

Dextra Soluções em Informática S/C Ltda.

Vínculo: Celetista, Enquadramento Funcional: Analista de software, Carga horária: 40

2019 - 2020

IBureau

Vínculo: Prestação de Serviço, Enquadramento Funcional: Analista de software, Carga horária: 40

2022 - Atual

ThoughtWorks

Vínculo: Celetista, Enquadramento Funcional: Analista de Desenvolvimento de Sistemas, Carga horária: 40