Stephenson de Sousa Lima Galvão

  • Endereço para acessar este CV: http://lattes.cnpq.br/7644392387532784
  • Última atualização do currículo em 05/04/2018


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, com ênfase em Metodologia e Técnicas da Computação. Atuando principalmente nos seguintes temas:Registro de Imagens, Mamotermogramas, Medidas de Similaridades. (Texto gerado automaticamente pela aplicação CVLattes)


Identificação


Nome
Stephenson de Sousa Lima Galvão
Nome em citações bibliográficas
GALVÃO, S. S. L.;Galvão, Stephenson;GALVAO, S.;GALVÃO, STEPHENSON S.L.

Endereço


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


Formação acadêmica/titulação


2011 - 2015
Doutorado em Computação.
Universidade Federal Fluminense, UFF, Brasil.
Título: Registro de imagens termicas da mama adquiridas dinamicamente, Ano de obtenção: 2015.
Orientador: Aura Conci.
Palavras-chave: Registro de Imagens; Mamotermogramas; Medidas de Similaridades.
Grande área: Ciências Exatas e da Terra
2008 - 2010
Mestrado em Sistemas e Computação.
Universidade Federal do Rio Grande do Norte, UFRN, Brasil.
Título: Modelagem Formal do Sistema Operacional de Tempo Real FreeRTOS Utilizando o Método B,Ano de Obtenção: 2010.
Orientador: 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.
2004 - 2008
Graduação em Ciencias da Computação.
Universidade Federal do Piauí, UFPI, Brasil.




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.


Atuação Profissional



Empresa de Tecnologia e Informações da Previdência Social, DATAPREV, Brasil.
Vínculo institucional

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


Instituto Federal do Piauí, IFPI, Brasil.
Vínculo institucional

2009 - Atual
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.



Projetos de extensão


2015 - 2017
PIBID
Descrição: O programa oferece bolsas de iniciação à docência aos alunos de cursos presenciais que se dediquem ao estágio nas escolas públicas e que, quando graduados, se comprometam com o exercício do magistério na rede pública. O objetivo é antecipar o vínculo entre os futuros mestres e as salas de aula da rede pública. Com essa iniciativa, o Pibid faz uma articulação entre a educação superior (por meio das licenciaturas), a escola e os sistemas estaduais e municipais..
Situação: Concluído; Natureza: Extensão.


Áreas de atuação


1.
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.
2.
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.
3.
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.


Idiomas


Português
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Espanhol
Lê Pouco, Escreve Razoavelmente.
Inglês
Compreende Razoavelmente, Fala Razoavelmente, Lê Bem, Escreve Bem.


Prêmios e títulos


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


Produções



Produção bibliográfica
Artigos completos publicados em periódicos

1.
CONCI, AURA2015 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.

2.
Dantas, Bartira2009 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.

Trabalhos completos publicados em anais de congressos
1.
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.

2.
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.

3.
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.

4.
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.

5.
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.

Resumos expandidos publicados em anais de congressos
1.
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.

2.
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.

3.
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.

Resumos publicados em anais de congressos
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.

Apresentações de Trabalho
1.
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).


Produção técnica
Trabalhos técnicos
1.
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.



Eventos



Participação em eventos, congressos, exposições e feiras
1.
ERMAC.Modelagem de Micro controladores em B. 2008. (Encontro).

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

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



Orientações



Orientações e supervisões em andamento
Trabalho de conclusão de curso de graduação
1.
Valdeilson Silva Ramos. Ensino de Tecnincas de Programação usando a Robótica Educacional. Início: 2016. Trabalho de Conclusão de Curso (Graduação em Informática) - Instituto Federal do Piauí. (Orientador).


Orientações e supervisões concluídas
Iniciação científica
1.
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.

2.
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.




Página gerada pelo Sistema Currículo Lattes em 11/12/2018 às 21:19:24