Eberle Andrey Rambo

Possui graduação em Ciências da Computação pela Universidade Federal de Santa Catarina (2008) e mestrado em Ciências da Computação pela Universidade Federal de Santa Catarina (2011). Atualmente é doutorando e pesquisador na Technische Universität Braunschweig. Suas pesquisas incluem Sistemas Integrados Multiprocessados, Verificação Funcional, Consistência de Memória, Tolerância a Falhas e NoCs.

Informações coletadas do Lattes em 14/05/2019

Acadêmico

Seção coletada automaticamente pelo Escavador

Formação acadêmica

Doutorado em andamento em Engenharia da Computação

2013 - Atual

Technische Universität Braunschweig, TU/Braunschweig
Orientador: Rolf Ernst

Mestrado em Ciências da Computação

2009 - 2011

Universidade Federal de Santa Catarina
Luiz Cláudio Villar dos Santos.Palavras-chave: Consistência; Memória compartilhada; Multicore; Coerência.Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação. Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação.

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

2005 - 2008

Universidade Federal de Santa Catarina
Orientador: Luiz Cláudio Villar dos Santos

Ensino Médio (2º grau)

2002 - 2004

Colégio São José

Ensino Fundamental (1º grau)

2001 - Atual

Colégio São José

Seção coletada automaticamente pelo Escavador

Formação complementar

2011 - 2013

MBA em Gerenciamento de Projetos. (Carga Horária: 432h). , Fundação Getulio Vargas - SP, FGV-SP, Brasil. , Título: Projeto SISACE. , Orientador: José Angelo Santos do Vale.

Seção coletada automaticamente pelo Escavador

Idiomas

Inglês

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

Espanhol

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

Seção coletada automaticamente pelo Escavador

Á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.

    Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação/Especialidade: Arquitetura de Sistemas de Computação.

    Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação/Especialidade: Hardware.

    Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação/Especialidade: Software Básico.

Seção coletada automaticamente pelo Escavador

Participação em eventos

ACM/IEEE Design, Automation & Test in Europe Conference (DATE). On ESL Verification of Memory Consistency for System-on-Chip Multiprocessing. 2012. (Congresso).

International Conference on Electronics, Circuits, and Systems (ICECS). Automatic Generation of Memory Consistency Tests for Chip Multiprocessing. 2011. (Congresso).

23rd Symposium on Integrated Circuits and Systems Design. 2010. (Simpósio).

17th IFIP/IEEE International Conference on VLSI-SoC. 2009. (Congresso).

ARTIST2 South-American School. 2008. (Oficina).

Workshop Franco-Brasileiro em Inovação. 2007. (Oficina).

SECCOM. 2007. (Outra).

Seção coletada automaticamente pelo Escavador

Comissão julgadora das bancas

Olinto José Varela Furtado

SANTOS, Luiz Carlos Villar dos; Wagner F. R.; Guntzel J. L. A.; Lettnin D. V.;FURTADO, O. J. V.. Verificação de Consistênciade Memória para Sistemas Integrados Multiprocessados. 2011. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Santa Catarina.

Djones Vinicius Lettnin

SANTOS, L. C. V.;LETTNIN, D. V.; GUNTZEL, J.; WAGNER, F.. Verificação de Consistência de Memória para Sistemas Integrados Multiprocessados. 2011. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina.

José Luis Almada Guntzel

GÜNTZEL, J. L. A.; WAGNER, F. R.; Olinto Furtado; LETTNIN, D. V.;SANTOS, Luiz Claudio Villar dos. Verificação de Consistência de Memória para Sistemas Integrados Multiprocessados. 2011. Dissertação (Mestrado em Programa de Pós-Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.

Seção coletada automaticamente pelo Escavador

Foi orientado por

luiz Claudio Villar dos Santos

Verificação de Consistência de Memória para Sistemas Integrados Multiprocessados; 2011; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Luiz Cláudio Villar dos Santos;

Seção coletada automaticamente pelo Escavador

Produções bibliográficas

  • FREITAS, L. S. ; RAMBO, E. A. ; SANTOS, L. C. V. . On-the-fly Verification of Memory Consistency with Concurrent Relaxed Scoreboards. In: ACM/IEEE Design, Automation & Test in Europe Conference (DATE), 2013, Grenoble, France. Proceedings of the ACM/IEEE Design, Automation & Test in Europe, 2013.

  • RAMBO, E. A. ; HENSCHEL, O. P. ; SANTOS, L. C. V. . On ESL Verification of Memory Consistency for System-on-Chip Multiprocessing. In: ACM/IEEE Design, Automation & Test in Europe Conference (DATE), 2012, Dresden, Germany. Proceedings of the ACM/IEEE Design, Automation and Test in Europe, 2012.

  • RAMBO, E. A. ; HENSCHEL, O. P. ; SANTOS, L. C. V. . Automatic Generation of Memory Consistency Tests for Chip Multiprocessing. In: International Conference on Electronics, Circuits, and Systems (ICECS), 2011, Beirut, Lebanon. Proceedings of the IEEE International Conference on Electronics, Circuits, and Systems, 2011.

Seção coletada automaticamente pelo Escavador

Prêmios

2012

Second Best Master's Dissertation in the frame of the WSCAD 2012 (Thesis & Dissertations Contest), Brazilian Computer Society (SBC), Special Committee on Computer Architecture (CE-ACPAD).

Histórico profissional

Seção coletada automaticamente pelo Escavador

Experiência profissional

  • 2013 - Atual

    Technische Universität Braunschweig, TU/Braunschweig

    Vínculo: Servidor Público, Enquadramento Funcional: Researcher, Carga horária: 40, Regime: Dedicação exclusiva.

    Atividades

    • 03/2013

      Pesquisa e desenvolvimento , Institut für Datentechnik und Kommunikationsnetze, .,Linhas de pesquisa

  • 2009 - 2012

    Universidade Federal de Santa Catarina

    Vínculo: Colaborador, Enquadramento Funcional: Colaborador do Grupo de Pesquisa, Carga horária: 40, Regime: Dedicação exclusiva.

    Outras informações:
    Colaborador do Grupo de Pesquisa "Núcleo Interdepartamental de Microeletrônica". http://dgp.cnpq.br/buscaoperacional/detalhegrupo.jsp?grupo=0043304PISZ9LU

  • 2008 - 2009

    Motorola Industrial Ltda., Motorola

    Vínculo: Estagiário, Enquadramento Funcional: Engenheiro de Software, Carga horária: 20

    Outras informações:
    Estágio realizado em convênio UFSC-LabSOFT/Motorola.