Edson Holanda Cavalcante Júnior

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


Possui graduação em Licenciatura Curta em Ciências pela UFPB, graduação em Licenciatura Plena em Matemática pela UFPB , especialização em Lógica Contemporânea pela UFPB e mestrado em Ciências da Computação pela UFPE. Atualmente é professor assistente da UEPB. Tem experiência na área de Ciência da Computação e Licenciatura em Computação, com ênfase em Lógica e Modelos Formais, atuando principalmente nos seguintes temas: lógica, informática na educação e modelos formais. (Texto informado pelo autor)


Identificação


Nome
Edson Holanda Cavalcante Júnior
Nome em citações bibliográficas
CAVALCANTE JÚNIOR, E. H.;JÚNIOR, EDSON HOLANDA CAVALCANTE


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


1998 - 2001
Mestrado em Ciências da Computação.
Universidade Federal de Pernambuco, UFPE, Brasil.
Título: Sobre os critérios de corretude para grafos de prova,Ano de Obtenção: 2001.
Orientador: Ruy José Guerra Barreto de Queiroz.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Palavras-chave: lógica; Grafos; Computabilidade.
Grande área: Ciências Exatas e da Terra
Setores de atividade: Informática.
1996 - 1997
Especialização em Especialização Em Lógica Contemporânea.
Universidade Federal da Paraíba, UFPB, Brasil.
Título: A completude algébrica de S5.
Orientador: Giovanni da Silva de Queiroz.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
1994 - 1997
Graduação em Licenciatura Plena em Matemática.
Universidade Federal da Paraíba, UFPB, Brasil.
1989 - 1992
Graduação em Licenciatura Curta Em Ciências.
Universidade Federal da Paraíba, UFPB, Brasil.




Atuação Profissional



Universidade Federal de Campina Grande, UFCG, Brasil.
Vínculo institucional

2013 - Atual
Vínculo: membro associado, Enquadramento Funcional: pesquisador


Universidade Estadual da Paraíba, UEPB, Brasil.
Vínculo institucional

2007 - Atual
Vínculo: , Enquadramento Funcional: Prof. Assistente C, Carga horária: 40, Regime: Dedicação exclusiva.

Vínculo institucional

2007 - 2007
Vínculo: Professor Visitante, Enquadramento Funcional: professor visitante, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

08/2007 - Atual
Ensino, Licenciatura em Computação, Nível: Graduação

Disciplinas ministradas
estágio supervisionado
prática de ensino de computação I
estrutura de dados
lógica para computação
hipermídias educacionais
seminários em informática na educação
software educacional
03/2008 - 08/2010
Extensão universitária , Centro de Ciências Exatas e Sociais Aplicadas, .

Atividade de extensão realizada
Coordenador do Projeto de extensão.
03/2008 - 02/2009
Estágios , Centro de Ciências Exatas e Sociais Aplicadas, Curso de Licenciatura em Computação.

Estágio realizado
Coordenador de Estágio do Curso de Licenciatura em Computação.

Instituto de Educação Superior da Paraíba, IESP, Brasil.
Vínculo institucional

2002 - 2007
Vínculo: Celetista, Enquadramento Funcional: Professor, Carga horária: 20

Atividades

7/2002 - 02/2007
Ensino, Bacharelado em Sistemas de Informação, Nível: Graduação

Disciplinas ministradas
Computadores e sociedade
estruturas de dados I
introdução à informática
lógica matemática

Universidade Federal de Pernambuco, UFPE, Brasil.
Vínculo institucional

1998 - 1999
Vínculo: Outro, Enquadramento Funcional: Professor substituto, Carga horária: 20

Atividades

10/1998 - 8/1999
Ensino,

Disciplinas ministradas
Programação I

Universidade Salgado de Oliveira, UNIVERSO, Brasil.
Vínculo institucional

2000 - 2004
Vínculo: Celetista, Enquadramento Funcional: Professor assistente, Carga horária: 10

Atividades

06/2000 - 8/2004
Ensino, Sistemas de informção, Nível: Graduação

Disciplinas ministradas
Introdução à ciência do computador
Lógica Matemática
Ética profissional

Institutos Paraibanos de Educacao, IPE, Brasil.
Vínculo institucional

2004 - 2007
Vínculo: Celetista, Enquadramento Funcional: Horista, Carga horária: 16

Atividades

08/2004 - 01/2007
Ensino, Ciências da computação, Nível: Graduação

Disciplinas ministradas
Linguagens Formais e Autômatos
Lógica Matemática
Teoria da computação

Associação Paraibana de ensino renovado, ASPER, Brasil.
Vínculo institucional

2002 - 2003
Vínculo: Celetista, Enquadramento Funcional: Horista, Carga horária: 6

Atividades

08/2002 - 2/2003
Ensino, Processamento de dados, Nível: Graduação

Disciplinas ministradas
Lógica Matemática


Projetos de pesquisa


2016 - 2017
VERIFICAÇÃO NA CERTIFICAÇÃO DE SOFTWARE EMBARCADO
Descrição: O objetivo principal deste projeto é investigar a combinação de métodos formais, técnicas de verificação, geração de código e teste no desenvolvimento de sistemas embarcados com altopadrão de qualidade. Mais especificamente, buscaremos contribuir na validação de modelos e processos de desenvolvimento de sistemas embarcados, integrando-os segundo uma visão formal da Arquitetura Baseada em Modelos (MDA). Dentro do contexto de sistemas embarcados, modelos semânticos serão providos para artefatos a serem implantados em diversas plataformas específicas com diferentes modelos de execução e de comunicação..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) .
Integrantes: Edson Holanda Cavalcante Júnior - Coordenador / Bruno Henrique Nascimento de Andrade - Integrante / PAULO EDUARDO E SILVA BARBOSA - Integrante.


Áreas de atuação


1.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Modelos Formais e Semântica.
2.
Grande área: Ciências Humanas / Área: Filosofia / Subárea: Lógica.
3.
Grande área: Ciências Humanas / Área: Educação / Subárea: Ensino-Aprendizagem/Especialidade: Métodos e Técnicas de Ensino.
4.
Grande área: Ciências Humanas / Área: Educação / Subárea: EDUCAÇÃO A DISTÃNCIA.


Idiomas


Espanhol
Compreende Razoavelmente, Fala Pouco, Lê Bem, Escreve Pouco.
Inglês
Compreende Razoavelmente, Fala Razoavelmente, Lê Bem, Escreve Pouco.
Italiano
Lê Pouco.
Francês
Compreende PoucoLê Pouco.


Produções



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

1.
LIMA, MAELSON MARQUES DE2016 LIMA, MAELSON MARQUES DE ; LIMA, ALEX RIBEIRO DE ; MONTEIRO, ALANNA C. COÊLHO ; JÚNIOR, EDSON HOLANDA CAVALCANTE ; GOMES, LUCIANA DE QUEIROZ LEAL . Analisando Processos de Desenvolvimento de Software Educativo a partir de uma Revisão Sistemática de Literatura. Revista de Informática Aplicada, v. 11, p. 19-28, 2016.

Resumos expandidos publicados em anais de congressos
1.
LIMA, M. M. ; LIMA, A. R. ; MONTEIRO, A. C. C. ; CAVALCANTE JÚNIOR, E. H. ; GOMES, L. Q. L. . Uma Revisão Sistemática da Literatura dos Processos de Desenvolvimento de Software Educativo. In: 23o. Simpósio Brasileiro de Informática na Educação, 2012, Rio de Janeiro. Anais do SBIE 2012, 2012.

Apresentações de Trabalho
1.
CAVALCANTE JÚNIOR, E. H.; LYRA NETO, L. C. S. . Computabilidade e Máquinas de Turing. 1997. (Apresentação de Trabalho/Outra).


Demais tipos de produção técnica
1.
CAVALCANTE JÚNIOR, E. H.. Educação, cidadania e cultura. 2011. (Curso de curta duração ministrado/Outra).

2.
CAVALCANTE JÚNIOR, E. H.. A Lógica Linear e as Proof Nets. 1999. (Relatório de pesquisa).



Bancas



Participação em bancas de trabalhos de conclusão
Monografias de cursos de aperfeiçoamento/especialização
1.
SERAFIM, M. L.; MONTEIRO, L. F.; CAVALCANTE JÚNIOR, E. H.. Participação em banca de Welton Souto Fontes. O orkut como extensão de sala de aula: experiência de aprendizagem multimídia e colaborativa. 2010. Monografia (Aperfeiçoamento/Especialização em Novas tecnologias na educção) - Universidade Estadual da Paraíba.

Trabalhos de conclusão de curso de graduação
1.
CAVALCANTE, F. W.; Santos, E. A. dos; CAVALCANTE JÚNIOR, E. H.. Participação em banca de Maria Gracielly Lacerda de Abrantes.Uma proposta Curricular para a disciplina de informática educativa a ser implantada no Ensino Médio. 2011. Trabalho de Conclusão de Curso (Graduação em Licenciatura em Computação) - Universidade Estadual da Paraíba.

2.
CAVALCANTE JÚNIOR, E. H.; DANTAS, V. F.. Participação em banca de Maycon Vinícius A. Albuquerque.Comparação entre banco de dados relacional e banco de dados XML. 2006. Trabalho de Conclusão de Curso (Graduação em Ciências da computação) - Centro Universitário de João Pessoa.

3.
CAVALCANTE JÚNIOR, E. H.; GUERRA, T. C. D.. Participação em banca de Henrique Régis Gomes.Um ambiente cooperativo: Teleduc - uma experiência no Centro Universitário de João Pessoa. 2006. Trabalho de Conclusão de Curso (Graduação em Ciências da computação) - Centro Universitário de João Pessoa.

4.
CAVALCANTE JÚNIOR, E. H.; SOUSA, M. R. F.. Participação em banca de André Rodrigues Gomes Costa.A Gestão da Informação: Um Enfoque em Tecnologia e Siststemas de Informação. 2003. Trabalho de Conclusão de Curso (Graduação em Processamento de dados) - Associação Paraibana de ensino renovado.

5.
CAVALCANTE JÚNIOR, E. H.; SOUSA, M. R. F.. Participação em banca de Liliane Simone Bezerra de Aquino.Uso de tecnologias de Informação no TJPB: Uma análise. 2003. Trabalho de Conclusão de Curso (Graduação em Processamento de dados) - Associação Paraibana de ensino renovado.

6.
CAVALCANTE JÚNIOR, E. H.; Paiva, Jonas Alves. Participação em banca de Taciana Maciel Pedrosa.Informação de um processo. 2003. Trabalho de Conclusão de Curso (Graduação em Processamento de dados) - Associação Paraibana de ensino renovado.

7.
CAVALCANTE JÚNIOR, E. H.; Santos, Nilton Freire. Participação em banca de Silvia Cristina Ramos Leitão.Inteligência Artificial Aplicada na Educação à Distância através de Sistemas Especialistas. 2003. Trabalho de Conclusão de Curso (Graduação em Processamento de dados) - Associação Paraibana de ensino renovado.

8.
CAVALCANTE JÚNIOR, E. H.; Santos, Nilton Freire. Participação em banca de Glauber Galileu de Luna.Tópicos de Inteligência artificial. 2003. Trabalho de Conclusão de Curso (Graduação em Processamento de dados) - Associação Paraibana de ensino renovado.

9.
CAVALCANTE JÚNIOR, E. H.; Santos, Nilton Freire. Participação em banca de Ryan Ribeiro de Azevedo.Integração de Banco de Dados com Web. 2003. Trabalho de Conclusão de Curso (Graduação em Processamento de dados) - Associação Paraibana de ensino renovado.

10.
CAVALCANTE JÚNIOR, E. H.; Santos, Nilton Freire. Participação em banca de Simone Aragão Chaves.Educação à Distância - Uma nova forma de aprendizagem. 2003. Trabalho de Conclusão de Curso (Graduação em Processamento de dados) - Associação Paraibana de ensino renovado.




Orientações



Orientações e supervisões concluídas
Trabalho de conclusão de curso de graduação
1.
Cristiane Dias Costa Sucar dos Anjos. Letramento digital para além da escola formal: uma experiência de inclusão no sesi indústria do conhecimento. 2011. Trabalho de Conclusão de Curso. (Graduação em Licenciatura em Computação) - Universidade Estadual da Paraíba. Orientador: Edson Holanda Cavalcante Júnior.

2.
MABEL ALVES BENÍCIO. EDUCAÇÃO A DISTÂNCIA: UM ESTUDO SOBRE AS DIFICULDADES E BENEFÍCIOS ENCONTRADOS PELOS ALUNOS ATRAVÉS DO AMBIENTE VIRTUAL COLABORAR DA UNOPAR. 2010. Trabalho de Conclusão de Curso. (Graduação em Licenciatura em Computação) - Universidade Estadual da Paraíba. Orientador: Edson Holanda Cavalcante Júnior.

3.
MARIA ISLÂINY SOARES DE ARAUJO. OS TELECENTROS DA CIDADE DE PATOS ? PB: UMA INVESTIGAÇÃO SOBRE A FORMAÇÃO DE SEUS MONITORES. 2010. Trabalho de Conclusão de Curso. (Graduação em Licenciatura em Computação) - Universidade Estadual da Paraíba. Orientador: Edson Holanda Cavalcante Júnior.

4.
ALAN BARBOSA CAVALCANTI. INFORMÁTICA NA EDUCAÇÃO MATEMÁTICA: UMA ANÁLISE DO CURSO DE LICENCIATURA EM MATEMÁTICA DA UEPB. 2010. Trabalho de Conclusão de Curso. (Graduação em Licenciatura em Computação) - Universidade Estadual da Paraíba. Orientador: Edson Holanda Cavalcante Júnior.

5.
MEYRELE ALVES PEREIRA. Teoria dos jogos: uma ferramenta para provas no cálculo proposicional. 2006. Trabalho de Conclusão de Curso. (Graduação em Ciências da computação) - Centro Universitário de João Pessoa. Orientador: Edson Holanda Cavalcante Júnior.




Página gerada pelo Sistema Currículo Lattes em 18/01/2019 às 8:48:44