Diogo João Cardoso

Possui graduação em Ciência da Computação pela Universidade Federal de Santa Maria (2015) e mestrado em Informática pela Universidade Federal de Santa Maria (2018). Tem experiência na área de Ciência da Computação, com ênfase em Linguagens de Programação, atuando principalmente nos seguintes temas: formalização de linguagens, Java, Haskell, C, C++.

Informações coletadas do Lattes em 19/06/2019

Acadêmico

Seção coletada automaticamente pelo Escavador

Formação acadêmica

Mestrado em Informática

2016 - 2018

Universidade Federal de Santa Maria
Título: AsyncRFJ: Uma Abordagem Assíncrona à Programação Orientada a Objeto Reativa,Ano de Obtenção: 2018
Juliana Kaizer Vizzotto.Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. Palavras-chave: Programação Reativa; Programação Orientada a Objetos; Formalização de Linguagens; Haskell.Grande área: Ciências Exatas e da TerraGrande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Linguagem Formais e Autômatos. Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Lógicas e Semântica de Programas.

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

2012 - 2015

Universidade Federal de Santa Maria

Seção coletada automaticamente pelo Escavador

Idiomas

Inglês

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

Espanhol

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

Seção coletada automaticamente pelo Escavador

Áreas de atuação

    Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação.

Seção coletada automaticamente pelo Escavador

Participação em eventos

IV Workshop-Escola de Informática Teórica.Formal Semantics and Type System of RxJava. 2017. (Oficina).

14ª ERRC - Escola Regional de Redes de Computadores.Projeto e Implementação de um Chat usando Remote Method Invocation (RMI). 2016. (Outra).

Encontro Sul Brasileiro de Empresas Juniores. 2015. (Encontro).

29ª Jornada Acadêmica Integrada da UFSM. 2014. (Outra).

IV Semana Acadêmica da Informática - UFSM. 2014. (Outra).

III Semana Acadêmica da Informática - UFSM. 2013. (Outra).

Seção coletada automaticamente pelo Escavador

Comissão julgadora das bancas

Roseclea Duarte Medina

NUNES, Raul Ceretta; RANIERY, C.;Medina, Roseclea Duarte. Visualizando Alertas para aprimorar o Monitoramento de Segurança em Rede. 2015. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Santa Maria.

Eduardo Kessler Piveta

VIZZOTTO, JULIANA K.PIVETA, E. K.DU BOIS, A. R.. ASYNCRFJ: Uma abordagem assíncrona à programação orientada a objetos reativa. 2018. Dissertação (Mestrado em Informática) - Universidade Federal de Santa Maria.

Raul Ceretta Nunes

NUNES, R. C.; MEDINA, Roseclea Duarte;DOS SANTOS, C. R. P. Visualizando Alertas para Aprimorar o Monitoramento de Segurança em Redes. 2015. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Santa Maria.

Seção coletada automaticamente pelo Escavador

Foi orientado por

Juliana Kaizer Vizzotto

AsyncRFJ: Uma Abordagem Assíncrona à Programação Orientada a Objeto Reativa; 2018; Dissertação (Mestrado em Programa de Pós-Graduação em Ciência da Computação) - Universidade Federal de Santa Maria, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Juliana Kaizer Vizzotto;

Raul Ceretta Nunes

Visualizando Alertas para Aprimorar o Monitoramento de Segurança em Rede; 2015; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Santa Maria; Orientador: Raul Ceretta Nunes;

Seção coletada automaticamente pelo Escavador

Produções bibliográficas

  • CARDOSO SOBRINHO, J. ; SILVA, J. N. ; CARDOSO, D. J. ; HOHER, R. . Determinação da associação entre as variáveis do banco de dados da produtividade de alguns produtos agrícolas produzidos no Brasil ? uma preparação para a análise fatorial.. In: XLIV CONGRESSO BRASILEIRO DE ENGENHARIA AGRÍCOLA, 2015, SÃO PEDRO - SP. XLIV CONGRESSO BRASILEIRO DE ENGENHARIA AGRÍCOLA. JABOCIABAL - SP: SBEA, 2015. v. 1. p. 1-1.

  • CARDOSO SOBRINHO, J. ; SILVA, J. N. ; CARDOSO, D. J. ; MENEGHETTI, F. . Determinação da suposição da normalidade dos parâmetros produtividade em custo de produção de cafés do Brasil.. In: XLIV CONGRESSO BRASILEIRO DE ENGENHARIA AGRÍCOLA, 2015, SÃO PEDRO - SP. XLIV CONGRESSO BRASILEIRO DE ENGENHARIA AGRÍCOLA. JABOTICABAL - SP: SBEA. v. 1. p. 1.

  • CARDOSO, DIOGO J. ; VIZZOTTO, JULIANA K. ; PIVETA, EDUARDO K. . AsyncRFJ. In: the XXII Brazilian Symposium, 2018, Sao Carlos. Proceedings of the XXII Brazilian Symposium on Programming Languages - SBLP '18. New York: ACM Press, 2018. p. 35.

  • CARDOSO, D. J. ; VIZZOTTO, J. K. . Formal Semantics and Type System of RxJava. 2017. (Apresentação de Trabalho/Outra).

  • CARDOSO, D. J. ; BONINI, J. A. . Projeto e Implementação de um Chat usando Remote Method Invocation (RMI). 2016. (Apresentação de Trabalho/Outra).

  • CARDOSO, D. J. ; NUNES, R. C. ; BONINI, J. A. . Projeto e Implementação de Chat Usando Remote Method Invocation. 2015. (Apresentação de Trabalho/Congresso).

Seção coletada automaticamente pelo Escavador

Projetos de pesquisa

  • 2015 - 2015

    Ferramenta que interpreta o formatos de logs de eventos de rede e utiliza ferramentas visuais para aprimorar o Monitoramento de Segurança em Rede, Descrição: O objetivo geral deste projeto é explorar a área de monitoramento de segurança em redes, focando na representação de alertas visuais de uma forma eficiente para representar meta alertas e especificar e implementar uma ferramenta que interpreta dados no formato IDMEF e realiza visualização com ferramentas off the shelf.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) . , Integrantes: Diogo João Cardoso - Integrante / Raul Ceretta Nunes - Coordenador.

  • 2013 - 2013

    Explorando GPGPU para aceleração de simulações atmosféricas: aplicação ao modelo CCATT-BRAMS, Descrição: A computação de propósito geral em unidades de processamento gráfico (do inglês, General-Purpose computing on Graphics Processing Units - GPGPU) é uma estratégia utilizada para reduzir o tempo de processamento de cálculos numéricos. No presente projeto, tem-se por objetivo explorar esta estratégia para acelerar simulações atmosféricas baseadas no CCATT-BRAMS, que é um modelo de previsão de tempo e qualidade do ar para a América do Sul.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (4) . , Integrantes: Diogo João Cardoso - Integrante / Andrea Shcwertner Charão - Coordenador / Cezar Augusto Contini Bernardi - Integrante / Otavio Migliavacca Madalosso - Integrante / Guilherme de Freitas Gaiardo - Integrante.