Jeanderson Barros Candido

Mestrando em Ciência da Computação na Universidade Federal de Pernambuco. Possui graduação em Ciência da Computação pela Universidade Federal de Campina Grande (UFCG). Mais informações, acesse http://jeandersonbc.github.io

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

Acadêmico

Formação acadêmica

Mestrado em andamento em Ciências da Computação

2016 - Atual

Universidade Federal de Pernambuco
Título: Teste combinatorial e simbólico para sistemas configuráveis.,Orientador:
Marcelo Bezerra d'Amorim.

Graduação em Bacharelado em Ciência da Computação

2009 - 2015

Universidade Federal de Campina Grande
Orientador: em Walsh University ( James Jerkofsky)
com Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.

Formação complementar

2012 - 2012

English as a second Language. (Carga horária: 280h). , Western Michigan University, WMICH, Estados Unidos.

2003 - 2007

Curso de Inglês. (Carga horária: 360h). , Centro de Línguas, CLPB, Brasil.

Idiomas

Inglês

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

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: Engenharia de Software.

Participação em eventos

IX WDCopin - Workshop de Teses e Dissertação da COPIN - UFCG. 2010. (Outra).

III ENSOL - Encontro de Software Livre da Paraíba. 2009. (Encontro).

Produções bibliográficas

ANDRADE, W. L. ; ALMEIDA, D. R. ; Jeanderson Cândido ; MACHADO, P. D. L. . SYMBOLRT: A Tool for Symbolic Model-Based Test Case Generation for Real-Time Systems.. In: 3rd Brazilian Conference on Software: Theory and Practice, 2012, Natal. 19th Tools Session, 2012. v. 04. p. 31-37.

Outras produções

ANDRADE, W. L. ; ALMEIDA, D. R. ; Jeanderson Cândido ; MACHADO, P. D. L. . SYMBOLRT: A Tool for Symbolic Model-Based Test Case Generation for Real-Time Systems. 2012.

Projetos de pesquisa

2011 - 2012

Especificação de sistemas de tempo real através de uma linguagem de alto nível, Descrição: O projeto tem por objetivo propor uma linguagem de alto nível para a especificação de sistemas de tempo real e desenvolver uma ferramenta para a tradução da linguagem proposta para o formalismo TIOSTS. Dessa forma, busca-se diminuir o impacto na adoção de uma técnica de teste formal no processo de V & V de sistemas de tempo real, visto que o testador não precisaria conhecer os detalhes da teoria de teste baseada em modelos TIOSTS desenvolvida pelo orientador, contribuindo diretamente para o desenvolvimento de sistemas mais confiáveis.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) . , Integrantes: Jeanderson Barros Cândido - Integrante / Wilkerson de Lucena Andrade - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa., Número de produções C, T & A: 2

Prêmios

2014

Medalha de Ouro na Olimpíada Paraibana de Informática, categoria Avançado/Senior, Universidade Federal de Campina Grande.

2014

Projeto selecionado e concluido com sucesso no programa Google Summer of Code, Google, Eclipse Foundation.

2013

Nomeado na lista semestral de Melhores Desempenhos Acadêmicos, Walsh University.

2012

Melhor Ferramenta da XIX Sessão de Ferramentas do III Congresso Brasileiro de Software: Teoria e Prática (CBSoft 2012), Sociedade Brasileira de Computação (SBC).

2012

Aluno selecionado para intercâmbio nos Estados Unidos através do programa Ciência sem Fronteiras, CAPES.

Histórico profissional

Endereço profissional

Universidade Federal de Pernambuco, Centro de Informática. , Avenida Jornalista Aníbal Fernandes, Cidade Universitária, 50740560 - Recife, PE - Brasil, Telefone: (081) 21268430

Experiência profissional

2016 - Atual

Universidade Federal de Pernambuco

Vínculo: Aluno, Enquadramento Funcional: Assistente de Pesquisa, Carga horária: 40

2015 - 2016

Laboratório de Sistemas Embarcados e Computação Pervasiva

Vínculo: Bolsista, Enquadramento Funcional: Desenvolvedor Júnior, Carga horária: 40, Regime: Dedicação exclusiva.

2014 - 2015

Laboratório de Sistemas de Informação

Vínculo: Bolsista, Enquadramento Funcional: Desenvolvedor, Carga horária: 20

2013 - 2014

Grupo de Produtividade de Software

Vínculo: Bolsista, Enquadramento Funcional: Assistente de Pesquisa, Carga horária: 20

2013 - 2013

University of Massachusetts Amherst, UMass Amherst

Vínculo: Pesquisador Visitante, Enquadramento Funcional: Assistente de Pesquisa, Carga horária: 40, Regime: Dedicação exclusiva.

Outras informações:
Atividades de desenvolvimento e pesquisa supervisionadas pelo Prof. Yuiry Brun no grupo de Linguagens de Programação e Sistemas (PLASMA - Programming Languages and Systems at Massachusetts - http://plasma.cs.umass.edu/)

2010 - 2012

Grupo de Práticas de Software

Vínculo: Pesquisador, Enquadramento Funcional: Assistente de Pesquisa, Carga horária: 20, Regime: Dedicação exclusiva.

Atividades

08/2011 - 05/2012
Pesquisa e desenvolvimento , Centro de Engenharia Elétrica e Informática, Departamento de Sistemas e Computação.,Linhas de pesquisa

2010 - 2010

Universidade Federal de Campina Grande

Vínculo: Estudante de graduação, Enquadramento Funcional: Monitor, Carga horária: 12, Regime: Dedicação exclusiva.