Raphael Ernani Rodrigues
Possui graduação em Sistemas de Informação pela Universidade Federal de Minas Gerais(2011). Tem experiência na área de Ciência da Computação.
Informações coletadas do Lattes em 12/10/2025
Acadêmico
Formação acadêmica
Mestrado em andamento em Ciências da Computação
2012 - Atual
Universidade Federal de Minas Gerais
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior.
Graduação em Sistemas de Informação
2007 - 2011
Universidade Federal de Minas Gerais
Orientador: Fernando Magno Quintão Pereira
Formação complementar
2004 - 2006
Técnico em Eletrônica. (Carga horária: 1400h). , Centro Federal de Educação Tecnológica de Minas Gerais.
Idiomas
Inglês
Compreende Bem, Fala Razoavelmente, 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.
Produções bibliográficas
-
RODRIGUES, R. E. ; CAMPOS, V. ; PEREIRA, F. . A fast and low-overhead technique to secure programs against integer overflows. In: International Symposium on Code Generation and Optimization, 2013, Shenzhen. Proceedings of the Eleventh International Symposium on Code Generation and Optimization, 2013.
-
RODRIGUES, R. E. . Non-Termination Attacks Based on Integer Overflows. In: CBSoft - Congresso Brasileiro de Software, 2013, Brasília. Anais do III WTDsoft, 2013.
-
RODRIGUES, R. E. ; PEREIRA, F. . Prevenção de Ataques de Nao-Terminação baseados em Estouros de Precisão. In: CBSoft - Congresso Brasileiro de Software, 2013, Brasília. Anais do XVII Simpósio Brasileiro de Linguagens de Programação, 2013. v. 01. p. 32-46.
-
CAMPOS, V. ; PEREIRA, F. ; COSTA, I. ; RODRIGUES, R. E. . Speed and Precision in Range Analysis. In: Simpósio Brasileiro de Linguagens de Programação, 2012, Natal / RN. Anais do Simpósio Brasileiro de Linguagens de Programação, 2012.
Histórico profissional
Experiência profissional
2011 - 2012
Vale S/A (MG)Vínculo: Prestador de Serviço, Enquadramento Funcional: Analista de Sistemas Pleno, Carga horária: 40, Regime: Dedicação exclusiva.
2009 - 2010
Micro UniversoVínculo: Prestador de Serviço, Enquadramento Funcional: Desenvolvedor, Carga horária: 40, Regime: Dedicação exclusiva.
2006 - 2009
Teknisa SoftwareVínculo: Celetista, Enquadramento Funcional: Desenvolvedor, Carga horária: 44, Regime: Dedicação exclusiva.
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todos os processos de Raphael Ernani Rodrigues 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?