Raphael Negrisoli Batista

Master's at Computer Science from Universidade de São Paulo (2015) and bachelor's at Ciência da Computação from Centro Universitário Euripedes de Marília (2011). , acting on the following subjects: concurrent programing, distributed systems and structural testing for concurrent programs.

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.