Stephenson de Sousa Lima Galvão

Possui graduação em Ciencias da Computação pela Universidade Federal do Piauí (2008), mestrado em Sistemas e Computação pela Universidade Federal do Rio Grande do Norte (2010) e doutorado em Computação pela Universidade Federal Fluminense (2015). Atualmente é professor efetivo do Instituto Federal do Piauí. Tem experiência na área de Ciência da Computação, atuando principalmente nos seguintes temas: mastológica, informática, segmentação, imagens térmicas e tecnoligas web. Atualmente trabalhando com informática na educação e desenvolvimento de aplicativos

Informações coletadas do Lattes em 26/08/2025

Acadêmico

Formação acadêmica

Doutorado em Computação

2011 - 2015

Universidade Federal Fluminense
Título: Registro de imagens termicas da mama adquiridas dinamicamente
, Ano de obtenção: 2015. Aura Conci. Palavras-chave: Registro de Imagens; Mamotermogramas; Medidas de Similaridades.Grande área: Ciências Exatas e da Terra

Mestrado em Sistemas e Computação

2008 - 2010

Universidade Federal do Rio Grande do Norte
Título: Modelagem Formal do Sistema Operacional de Tempo Real FreeRTOS Utilizando o Método B
, Ano de Obtenção: 2010.David Boris Paul Deharbe..Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. Palavras-chave: Métodos Formais; Metódo B; FreeRTOS; Especificação.

Graduação em Ciencias da Computação

2004 - 2008

Universidade Federal do Piauí

Formação complementar

2007 - 2007

Persistência Orientada a Objeto Hibernte. (Carga horária: 20h). , Universidade Estadual do Piauí, UESPI, Brasil.

2004 - 2004

Extensão universitária em Linux. (Carga horária: 15h). , Universidade Federal do Piauí, UFPI, Brasil.

Idiomas

Inglês

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

Espanhol

Lê Pouco, 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 / Subárea: Metodologia e Técnicas da Computação/Especialidade: Métodos Formais.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Engenharia de Software.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Lógicas e Semântica de Programas.

Participação em eventos

ERMAC.Modelagem de Micro controladores em B. 2008. (Encontro).

Comp Uespi - 2ª semana de informática. 2007. (Simpósio).

INFO-CEFET. 2007. (Simpósio).

Orientou

Franklin Fabrício Soares Alves

APRENDIZAGEM BASEADA EM PROBLEMAS COMO METODOLOGIA ATIVA PARA O ENSINO HÍBRIDO DE ELETRICIDADE BÁSICA NA EDUCAÇÃO PROFISSIONAL E TECNOLÓGICA; Início: 2023; Dissertação (Mestrado profissional em Mestrado Profissional em Educação Profissional e Tecnológica) - Instituto Federal do Piauí; (Orientador);

José Welton Carvalho Sousa

App de auxilo as atividades escolares do curso técnico de edificações; Início: 2022; Dissertação (Mestrado profissional em Mestrado Profissional em Educação Profissional e Tecnológica) - Instituto Federal do Piauí; (Orientador);

Alderlane Ferreira da Silva,

Metodologias Ativas: Análise dos impactos pedagógicos do ensino e aprendizagem para os alunos do curso técnico integrado ao médio do curso de jogos do IFMA; Início: 2022; Dissertação (Mestrado profissional em Mestrado Profissional em Educação Profissional e Tecnológica) - Instituto Federal do Piauí; (Orientador);

Gilvan Fontenele dos Santos

Analise as escolhas de curso técnico por alunos do ensino médio; Início: 2022; Dissertação (Mestrado profissional em Mestrado Profissional em Educação Profissional e Tecnológica) - Instituto Federal do Piauí; (Orientador);

Maria da Cruz Dias Feitosa

incentivo a implementação do SAE no IFPI; Início: 2021; Dissertação (Mestrado profissional em Mestrado Profissional em Educação Profissional e Tecnológica) - Instituto Federal do Piauí; (Orientador);

Lady Ana da Silva Soares

Análise das práticas da Educomunicação na Curso de Técnico Integrado ao Médio do Curso de Meio Ambiente do IFPI campus Valença, através das mídias digitais; Início: 2021; Dissertação (Mestrado profissional em Mestrado Profissional em Educação Profissional e Tecnológica) - Instituto Federal do Piauí; (Orientador);

Jorge Moreira de Souza

Eduscrum como ferramenta de metodologia ativa orientado a projetos na EPT; 2023; Dissertação (Mestrado em Mestrado Profissional em Educação Profissional e Tecnológica) - Instituto Federal do Piauí, ; Orientador: Stephenson de Sousa Lima Galvão;

José de Arimateia Brito Neto

EPT DIGITAL: Protótipo de aplicativos para ambientação do Professores; 2019; Dissertação (Mestrado em Mestrado Profissional em Educação Profissional e Tecnológica) - Instituto Federal do Piauí, ; Coorientador: Stephenson de Sousa Lima Galvão;

Hellem Torres Saraiva

Gamificação e Educação Profissional e Tecnológica: Um estudo de caso nas aulas de línguas estrangeiras no IFMA; 2019; Dissertação (Mestrado em Mestrado Profissional em Educação Profissional e Tecnológica) - Instituto Federal do Piauí, ; Orientador: Stephenson de Sousa Lima Galvão;

Valdeilson Silva Ramos

Ensino de Tecnincas de Programação usando a Robótica Educacional; 2016; Trabalho de Conclusão de Curso; (Graduação em Informática) - Instituto Federal do Piauí; Orientador: Stephenson de Sousa Lima Galvão;

Miguel Vieira Neto

Comparativos entre as tecnologias Web JEE, PHP e RUbby; 2011; Iniciação Científica; (Graduando em Tecnólogo em Análise e Desenvolvimento de Sistemas) - Instituto Federal do Piauí Campus Floriano, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Stephenson de Sousa Lima Galvão;

Stênio de Sousa Lima Galvão

Identificação de elementos para a segmentação de imagens em imagens térmicas mastológicas; 2011; Iniciação Científica; (Graduando em Tecnólogo em Análise e Desenvolvimento de Sistemas) - Instituto Federal do Piauí Campus Floriano, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Stephenson de Sousa Lima Galvão;

Produções bibliográficas

CONCI, AURA ; GALVÃO, STEPHENSON S.L. ; SEQUEIROS, GIOMAR O. ; SAADE, DÉBORA C.M. ; MACHENRY, TRUEMAN . A new measure for comparing biomedical regions of interest in segmentation of digital images. DISCRETE APPLIED MATHEMATICS , v. 197, p. 103-113, 2015.
GALVÃO, S. S. L. ; Dantas, Bartira ; Déharbe, David ; Moreira, Anamaria Martins ; Medeiros Júnior, Valério . Verified Compilation and the B Method: A Proposal and a First Appraisal. Electronic Notes in Theoretical Computer Science , v. 240, p. 79-96, 2009.
SOARES, L. A. S. ; COSTA, F. R. ; SOUSA, J. L. R. ; SARAIVA, K. R. ; MORAIS, M. A. C. ; SILVA JUNIOR, P. T. ; GALVÃO, S. S. L. . O PROTAGONISMO JUVENIL NA EDUCAÇÃO PROFISSIONAL E TECNOLÓGICA CONTRIBUIÇÕES PARA A FORMAÇÃO CIDADÃ. In: Jalva Lilia Rabelo de Sousa; Kleiton Rocha Saraiva; Márcio Aurélio Carvalho de Morais. (Org.). EDUCAÇÃO PROFISSIONAL E TECNOLÓGICA: concepções e desafios. 1ed.Teresina: IFPI, 2023, v. 1, p. 5-148.
DE FALCO, ANNA ; DE SOUSA LIMA GALVAO, STEPHENSON ; CONCI, AURA . A Non Linear Registration Without the Use of the Brightness Constancy Hypothesis. In: 2020 International Conference on Systems, Signals and Image Processing (IWSSIP), 2020, Niterói. 2020 International Conference on Systems, Signals and Image Processing (IWSSIP), 2020. p. 27.
FARIA, L. ; CONCI, A. ; OLIVERA, G. O. S. ; GALVÃO, S. S. L. . Análise de Séries Temporais de Sinais Térmicos da Mama para Detecção de Anomalias. In: XIV Workshop de Informática Médica, 2014, Brasília. Anais do WIM 2014, 2014.
GALVAO, S. ; MARQUES, R. S. ; CONCI, A. ; SANCHEZ, A. . A registration method for IR images: Preserving the thermal breast characteristics. In: 2013 International Conference on Systems, Signals and Image Processing (IWSSIP), 2013, Bucharest. 2013 20th International Conference on Systems, Signals and Image Processing (IWSSIP). p. 147-150.
DÉHARBE, D. B. P. ; GALVÃO, S. S. L. ; MOREIRA, A. M. . Formalizing FreeRTOS: First Steps. In: 12th Brazilian Symposium on Formal Methods, 2009, Gramado. Lecture Notes in Computer Science, 2009. v. 5902. p. 101-117.
DANTAS, B. P ; DÉHARBE, D. B. P. ; GALVÃO, S. S. L. ; MOREIRA, A. M. ; MEDEIROS JR, Valério G. . Proposta e Avaliação de uma Abordagem de Desenvolvimento de Software Fidedigno por Construção com o Método B. In: XXXV Seminário Integrado de Software e Hardware (SEMISH 2008), 2008, Belém. Anais do XXXV Seminário Integrado de Software e Hardware (SEMISH 2008), 2008. v. 1. p. 195-209.
DANTAS, B. P ; DÉHARBE, D. B. P. ; GALVÃO, S. S. L. ; MOREIRA, A. M. ; MEDEIROS JR, Valério G. . Applying the B Method to Take on the Grand Challenge of Verified Compilation. In: Brazilian Symposium on Formal Methods (SBMF2008), 2008, Salvador,BA. Brazilian Symposium on Formal Methods (SBMF2008) - Proceedings. Salvador: Editora Gráfica da UFBA - EDUFBA, 2008. v. 1. p. 35-50.
ALMEIDA, P. ; SANTOS JUNIOR, N. ; GALVÃO, S. S. L. . Sociabilidade Virtual através do uso das Tecnologias e Internet. In: III Encontro de Inovação e Tecnologia e Ensino de Ciências, 2014, Picos-PI. Anais do EITEC, 2014. v. 3.
TORQUATO, J. R. C. ; Galvão, Stephenson ; MAGALHAES, S. F. S. ; SARAIVA, E. C. R. C. . Uma ferramenta para o auxílio de diagnosticos de câncer de pele com Segmentação da imagem por cor. In: ENEBI, 2011, Foz do Iguaçu. ENEBI 2011, 2011.
MEDEIROS JR, Valério G. ; GALVÃO, S. S. L. . Modelagem de Micro controladores em B. In: VIII Encontro Regional de Matemática Aplicada e Computacional (ERMAC), 2008, Natal,RN. Anais do VIII Encontro Regional de Matemática Aplicada e Computacional, 2008. v. 1.
GALVÃO, S. S. L. ; CONCI, A. ; GALVAO, S. S. L. ; FARIA, L. . Registro afim de imagens para o protocolo dinâmico de aquisição de images termicas da mama. In: ENEBI, 2013, Vitória- ES. Enebi 2013 Anais, 2013. p. 158-159.
GALVÃO, S. S. L. ; CONCI, A. ; GALVAO, S. S. L. ; FARIA, L. . REGISTROAFIM DE IMAGENS PARA O PROTOCOLO DINÂM ICO DE AQUISIÇÃO DE IMAGENS TÉRMICAS DA MAMA. 2013. (Apresentação de Trabalho/Conferência ou palestra).

Outras produções

DANTAS, B. P ; DÉHARBE, D. B. P. ; GALVÃO, S. S. L. ; MEDEIROS JR, Valério G. ; MOREIRA, A. M. . Verified Compilation based on the B method: An initial appraisal (extended version). 2008.

Prêmios

2008

Aprovado em 2ª lugar no concurso público do IFPI para professor efetivo, IFPI.

Histórico profissional

Endereço profissional

Instituto Federal do Piauí, Instituto Federal do Piauí - Campus Teresina Zona Sul. , Avenida Pedro Freitas, São Pedro, 64019368 - Teresina, PI - Brasil, Telefone: (86) 31314800

Experiência profissional

2009 - 2009

Empresa de Tecnologia e Informações da Previdência Social

Vínculo: Servidor Público, Enquadramento Funcional: Analista da Tecnologia de Informação, Carga horária: 40

2009 - Atual

Instituto Federal do Piauí

Vínculo: , Enquadramento Funcional: Professor efetivo, Carga horária: 40, Regime: Dedicação exclusiva.

Outras informações:
Coordenador de área do Programa de Iniciação a Docência-PIBID, subprojeto Informática, no Campus Teresina Zona Sul.