Rafael Tupynambá Dutra
Possui doutorado em Ciência da Computação pela University of California, Berkeley (2019), mestrado em Matemática pela Universidade Federal de Minas Gerais (2014) e graduação em Engenharia de Controle e Automação pela Universidade Federal de Minas Gerais (2014), com período sanduíche de 12 meses na University of Melbourne, Australia.
Foi bolsista CAPES na modalidade Doutorado Pleno do programa Ciência sem Fronteiras na University of California, Berkeley, de agosto de 2014 a julho de 2018.
Foi bolsista do PICME (Programa de Iniciação Científica e Mestrado em matemática) no nível iniciação científica de março de 2009 a julho de 2011, e no nível mestrado de agosto de 2011 a junho de 2012 e de julho de 2013 a julho de 2014.
Foi participante de intercâmbio de graduação sanduíche pelo programa Ciência sem Fronteiras na University of Melbourne (Austrália) de julho de 2012 a junho de 2013.
Informações coletadas do Lattes em 29/05/2023
Acadêmico
Formação acadêmica
Doutorado em Computer Science
2014 - 2019
University of California, Berkeley
Título: Efficient Sampling of SAT and SMT Solutions for Testing and Verification
Orientador: Koushik Sen
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. Palavras-chave: stimulus generation; constrained-random verification; testing; SAT; SMT; coverage-guided sampling. Grande área: Ciências Exatas e da TerraGrande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação / Especialidade: Hardware. Grande Área: Outros / Área: Microeletrônica / Subárea: Teste e Tolerância a Falhas.
Mestrado em Matemática
2011 - 2014
Universidade Federal de Minas Gerais
Título: A função 'não-diferenciável' de Riemann,Ano de Obtenção: 2014
Marcio Gomes Soares.Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. Palavras-chave: função não-diferenciável de Riemann; função theta; grupo modular; autossimilaridade; fractal.Grande área: Ciências Exatas e da Terra
Graduação em Engenharia de Controle e Automação
2009 - 2014
Universidade Federal de Minas Gerais
Título: Desenvolvimento de Software Embarcado para um Veículo Aéreo Não Tripulado
Orientador: Leonardo Antônio Borges Tôrres
com
Pós-doutorado
2020
Pós-Doutorado. , Helmholtz Center for Information Security, CISPA, Alemanha. , Grande área: Ciências Exatas e da Terra, 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.
Idiomas
Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Espanhol
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Português
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Prêmios
2017
Tong Leong Lim Pre-Doctoral Prize, EECS Department, University of California, Berkeley.
2013
Medalha de Ouro, Olimpíada Brasileira de Matemática - Nível U.
2013
Medalha de Prata, Olimpíada Iberoamericana de Matemática Universitária.
2011
Medalha de Prata, International Mathematics Competition for University Students.
2011
Medalha de Ouro, Competição Iberoamericana Interuniversitária de Matemática.
2011
Medalha de Ouro, Olimpíada Brasileira de Matemática - Nível U.
2010
Medalha de Ouro, Olimpíada Brasileira de Matemática - Nível U.
2010
Medalha de Prata, International Mathematics Competition for University Students.
2010
Medalha de Ouro, Olimpíada Iberoamericana de Matemática Universitária.
2010
Medalha de Ouro Especial, Competição Iberoamericana Interuniversitária de Matemática.
2009
Medalha de Prata, Olimpíada Brasileira de Matemática - Nível U.
2008
Medalha de Prata, Olimpíada Brasileira de Matemática - Nível 3.
2008
Medalha de Ouro, Olimpíada Brasileira de Física.
2008
Medalha de Prata, International Mathematical Olympiad.
2008
Medalha de Ouro, Olimpíada Mineira de Química.
2008
Medalha de Prata, Olimpíada Brasileira de Química.
2007
Medalha de Ouro, Olimpíada Brasileira de Matemática - Nível 3.
2007
Medalha de Ouro, Olimpíada Brasileira de Física.
2007
Medalha de Bronze, International Mathematical Olympiad.
2006
Medalha de Prata, Olimpíada Brasileira de Matemática - Nível 3.
2006
Medalha de Ouro, Olimpíada Brasileira de Física.
2006
Medalha de Prata, Olimpíada de Matemática do Cone Sul.
2005
Medalha de Ouro, Olimpíada Brasileira de Matemática - Nível 2.
2005
Medalha de Prata, Olimpíada de Maio.
2005
Medalha de Prata, Olimpíada de Matemática do Cone Sul.
2004
Medalha de Prata, Olimpíada Brasileira de Matemática - Nível 2.
2004
Menção Honrosa, Olimpíada de Maio.
2003
Medalha de Ouro, Olimpíada Brasileira de Matemática - Nível 1.
2002
Medalha de Prata, Olimpíada Brasileira de Matemática - Nível 1.
Histórico profissional
Experiência profissional
2018 - 2018
Intel LabsVínculo: Celetista, Enquadramento Funcional: Estagiário em Pesquisa CAD, Carga horária: 40
2015 - 2015
Google Inc., GoogleVínculo: Celetista, Enquadramento Funcional: Estagiário de Engenharia de Software, Carga horária: 40
2014 - 2014
Top Free GamesVínculo: Celetista, Enquadramento Funcional: Estagiário Desenvolvedor de Jogos, Carga horária: 20
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todos os processos de Rafael Tupynambá Dutra 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?