Edson Holanda Cavalcante Junior
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.
Informações coletadas do Lattes em 10/04/2024
Acadêmico
Formação acadêmica
Mestrado em Ciências da Computação
1998 - 2001
Universidade Federal de Pernambuco
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 TerraSetores de atividade: Informática.
Especialização em Especialização Em Lógica Contemporânea
1996 - 1997
Universidade Federal da Paraíba
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.
Idiomas
Inglês
Compreende Razoavelmente, Fala Razoavelmente, Lê Bem, Escreve Pouco.
Espanhol
Compreende Razoavelmente, Fala Pouco, Lê Bem, Escreve Pouco.
Italiano
, Lê Pouco.
Francês
Compreende Pouco, Lê Pouco.
Áreas de atuação
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.
Grande área: Ciências Humanas / Área: Filosofia / Subárea: Lógica.
Grande área: Ciências Humanas / Área: Educação / Subárea: Ensino-Aprendizagem/Especialidade: Métodos e Técnicas de Ensino.
Grande área: Ciências Humanas / Área: Educação / Subárea: EDUCAÇÃO A DISTÃNCIA.
Participação em bancas
SERAFIM, M. L.; MONTEIRO, L. F.;CAVALCANTE JÚNIOR, E. H.. 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.
CAVALCANTE, F. W.; Santos, E. A. dos;CAVALCANTE JÚNIOR, E. H.. 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.
CAVALCANTE JÚNIOR, E. H.; GUERRA, T. C. D.. 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.
CAVALCANTE JÚNIOR, E. H.; DANTAS, V. F.. 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.
CAVALCANTE JÚNIOR, E. H.; SOUSA, M. R. F.. 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.
CAVALCANTE JÚNIOR, E. H.; SOUSA, M. R. F.. 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.
CAVALCANTE JÚNIOR, E. H.; Paiva, Jonas Alves. Informação de um processo. 2003. Trabalho de Conclusão de Curso (Graduação em Processamento de dados) - Associação Paraibana de ensino renovado.
CAVALCANTE JÚNIOR, E. H.; Santos, Nilton Freire. 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.
CAVALCANTE JÚNIOR, E. H.; Santos, Nilton Freire. 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.
CAVALCANTE JÚNIOR, E. H.; Santos, Nilton Freire. 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.
CAVALCANTE JÚNIOR, E. H.; Santos, Nilton Freire. 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.
Orientou
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;
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;
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;
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;
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;
Produções bibliográficas
-
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.
-
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.
-
CAVALCANTE JÚNIOR, E. H. ; LYRA NETO, L. C. S. . Computabilidade e Máquinas de Turing. 1997. (Apresentação de Trabalho/Outra).
Outras produções
CAVALCANTE JÚNIOR, E. H. . Educação, cidadania e cultura. 2011. (Curso de curta duração ministrado/Outra).
CAVALCANTE JÚNIOR, E. H. . A Lógica Linear e as Proof Nets. 1999. (Relatório de pesquisa).
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.
Histórico profissional
Endereço profissional
-
Universidade Estadual da Paraíba, Centro de Ciências e Tecnologia - CCT, Departamento de computação. , Rua Baraúnas, Universitário, 58429500 - Campina Grande, PB - Brasil, Telefone: (83) 33153300, URL da Homepage:
Experiência profissional
2013 - Atual
Universidade Federal de Campina GrandeVínculo: membro associado, Enquadramento Funcional: pesquisador
2007 - Atual
Universidade Estadual da ParaíbaVínculo: Servidor Público, Enquadramento Funcional: Prof. Assistente D, Carga horária: 40, Regime: Dedicação exclusiva.
2007 - 2007
Universidade Estadual da ParaíbaVínculo: Professor Visitante, Enquadramento Funcional: professor visitante, Carga horária: 40, Regime: Dedicação exclusiva.
Atividades
-
08/2018
Pesquisa e desenvolvimento, Centro de Ciências e Tecnologia - CCT, Departamento de computação.,Linhas de pesquisa
-
08/2007
Ensino, Licenciatura em Computação, Nível: Graduação,Disciplinas ministradas, lógica para computação, Linguagens Formais e Teoria da computação, Ética em computação
-
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.
2002 - 2007
Instituto de Educação Superior da ParaíbaVínculo: Celetista, Enquadramento Funcional: Professor, Carga horária: 20
Atividades
-
07/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
1998 - 1999
Universidade Federal de PernambucoVínculo: Outro, Enquadramento Funcional: Professor substituto, Carga horária: 20
Atividades
-
10/1998 - 08/1999
Ensino,,Disciplinas ministradas, Programação I
2000 - 2004
Universidade Salgado de OliveiraVínculo: Celetista, Enquadramento Funcional: Professor assistente, Carga horária: 10
Atividades
-
06/2000 - 08/2004
Ensino, Sistemas de informção, Nível: Graduação,Disciplinas ministradas, Introdução à ciência do computador, Lógica Matemática, Ética profissional
2004 - 2007
Institutos Paraibanos de EducacaoVí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
2002 - 2003
Associação Paraibana de Ensino RenovadoVínculo: Celetista, Enquadramento Funcional: Horista, Carga horária: 6
Atividades
-
08/2002 - 02/2003
Ensino, Processamento de dados, Nível: Graduação,Disciplinas ministradas, Lógica Matemática
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todos os processos de Edson Holanda Cavalcante Junior e sempre que o nome aparecer em publicações dos Diários Oficiais, avisaremos por e-mail e pelo painel do usuário
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todas as movimentações desse processo e sempre que o processo aparecer em publicações dos Diários Oficiais e nos Tribunais, avisaremos por e-mail e pelo painel do usuário
Confirma a exclusão?