Raphael Negrisoli Batista

Mestre em em Ciências da Computação e Matemática Computacional (Conceito CAPES 6) pelo ICMC/USP. Possui graduação em Ciência da Computação pelo Centro Universitário Euripedes de Marília (2011). Atuando principalmente nos seguintes temas: programas concorrentes, sistemas distribuídos e teste estrutural para programas concorrentes.

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

Acadêmico

Formação acadêmica

Mestrado em Ciências da Computação e Matemática Computacional

2012 - 2015

Universidade de São Paulo
Título: Otimizando o teste estrutural de programas concorrentes: uma abordagem determinística e paralela,Ano de Obtenção: 2015
Paulo Sérgio Lopes de Souza.Bolsista do(a): Fundação de Amparo à Pesquisa do Estado de São Paulo. Palavras-chave: Teste estrutural; Programas Concorrentes; Execução Determinística; Geração de Variantes de Disputa; Execução Paralela.Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Sistemas Distribuídos. 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: Metodologia e Técnicas da Computação / Especialidade: Computação de Alto Desempenho.

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

2008 - 2011

Centro Universitário Euripedes de Marília
Título: Arquitetura de Balanceamento de Carga em Ambientes Paralelos Distribuídos utilizando Sistemas Multiagentes
Orientador: Mauricio Duarte

Curso técnico/profissionalizante

2006 - 2007

Centro Estadual de Educação Tecnológica Paula Souza

Idiomas

Inglês

Compreende Pouco, Fala Pouco, Lê Pouco, Escreve Pouco.

Português

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

Participação em eventos

Congresso Nacional de Iniciação Científica (CONIC). Algoritmo de balanceamento de carga utilizando sistemas multiagentes. 2011. (Congresso).

19º Simpósio Internacional de Iniciação Científica (SIICUSP).Algoritmo de balanceamento de carga utilizando sistemas multiagentes. 2011. (Simpósio).

TDC2011 - The Developers Conference. 2011. (Outra).

10º Congresso Nacional de Iniciação Científica (CONIC). ALGORITMO PARA MANIPULAÇÃO DE IMAGENS EM UM SISTEMA DISTRIBUÍDO USANDO JAVA RMI. 2010. (Congresso).

Congresso de Inovação com Tecnologia Open Source - CITOS. 2010. (Congresso).

XI Seminário de Iniciação Científica - UNIVEM.ALGORITMO PARA MANIPULAÇÃO DE IMAGENS EM UM SISTEMA DISTRIBUÍDO USANDO JAVA RMI. 2010. (Seminário).

III Semana de Tecnologia da Informação - UNIVEM. 2010. (Outra).

II Semana de Tecnologia da Informação - UNIVEM. 2009. (Outra).

I Semana de Tecnologia da Informação - UNIVEM. 2008. (Outra).

Produções bibliográficas

SOUZA, P. S. L. ; SOUZA, S. R. S. ; ROCHA, M. G. ; PRADO, R. R. ; BATISTA, R. N. . Data Flow Testing in Concurrent Programs with Message Passing and Shared Memory Paradigms. In: International Conference on Computational Science, 2013, Amsterdam. Procedia Computer Science, 2013. v. 18. p. 149-158.
BATISTA, R. N. ; DUARTE, M. . Algoritmo de balanceamento de carga utilizando sistemas multiagentes. In: 19º Simpósio Internacional de Iniciação Científica (SIICUSP), 2011, São Carlos - SP. Anais do SIICUSP 2011, 2011.
BATISTA, R. N. ; DUARTE, M. . Algoritmo para manipulação de imagens em um sistema distribuído usando Java RMI. In: 10º Congresso Nacional de Iniciação Científica (CONIC), 2010, São Paulo - SP. 10º Congresso Nacional de Iniciação Científica - CONIC-SEMESP 2010, 2010.
BATISTA, R. N. ; DUARTE, M. . Algoritmo de balanceamento de carga utilizando sistemas multiagentes. 2011. (Apresentação de Trabalho/Simpósio).
BATISTA, R. N. ; DUARTE, M. . Algoritmo para manipulação de imagens em um sistema distribuído usando Java RMI. 2010. (Apresentação de Trabalho/Congresso).

Histórico profissional

Experiência profissional

2011 - 2012

Pagamento Digital - Intermediação de Negócios LTDA

Vínculo: Colaborador, Enquadramento Funcional: Analista de Negócios Junior, Carga horária: 40

2010 - 2011

Pagamento Digital - Intermediação de Negócios LTDA

Vínculo: Colaborador, Enquadramento Funcional: Estagiário em Análise de Negócios, Carga horária: 20

2007 - 2010

Doutor Byte Informática

Vínculo: Colaborador, Enquadramento Funcional: Técnico em Manutenção de Computadores, Carga horária: 44

Outras informações:
Atuando na manutenção corretiva e preventiva de computadores, rede de computadores e logística.

2007 - 2007

Centro Estadual de Educação Tecnológica Paula Souza

Vínculo: Estagiário, Enquadramento Funcional: Tecnologia, Carga horária: 4

Outras informações:
Atuando na manutenção corretiva e preventiva de computadores, rede de computadores e servidores.