Cristiano Werner Araújo

Possui graduação em Engenharia de Computação pela Universidade Federal do Rio Grande do Sul(2012) e ensino-medio-segundo-grau pelo Colégio Sinodal do Salvador(2004). Atualmente é Analista de desenvolvimento da Parks Comunicações Digitais - Matriz. Tem experiência na área de Ciência da Computação, com ênfase em Metodologia e Técnicas da Computação. Atuando principalmente nos seguintes temas:Engenharia de Software, Sistemas de recomendação, Bug prediciton.

Informações coletadas do Lattes em 24/08/2025

Acadêmico

Formação acadêmica

Mestrado em andamento em Computação

2015 - Atual

Universidade Federal do Rio Grande do Sul
Título: Bug prediction in procedural systems,Orientador:
Ingrid Oliveira de Nunes.Palavras-chave: Engenharia de Software; Sistemas de recomendação; Bug prediciton.Grande área: Ciências Exatas e da TerraGrande Á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.

Graduação em Engenharia de Computação

2006 - 2012

Universidade Federal do Rio Grande do Sul
Título: Exploração do Microcontrolador Hércules RM48x como Plataforma para Aplicações Críticas de Segurança
Orientador: João César Netto

Ensino Médio (2º grau)

2002 - 2004

Colégio Sinodal do Salvador

Idiomas

Bandeira representando o idioma Inglês

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

Bandeira representando o idioma Espanhol

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

Bandeira representando o idioma 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 / Subárea: Metodologia e Técnicas da Computação/Especialidade: Engenharia de Software.

Projetos de pesquisa

  • 2015 - Atual

    Detecção de Regras Arquiteturais e suas Violações Baseada em Código Fonte, Descrição: Descrição: A falta de documentação arquitetural e a detecção de violações arquiteturais são problemas que vem sendo explorados em estudos recentes na área de Engenharia de Software. Contudo, os resultados desses estudos ainda são muito dependentes de verificações de especialistas devido à baixa precisão atingida utilizando unicamente as técnicas propostas. Na maioria das abordagens é necessário a intervenção de um arquiteto de software para verificar manualmente os resultados, o que é uma tarefa que demanda esforço e conhecimento da aplicação alvo da análise. Além disso, essa tarefa é suscetível a erros, pois a verificação é feita principalmente de forma manual analisando todos os elementos da arquitetura, verificando seus papéis na arquitetura e cada uma das regras arquiteturais que regem o software. Em um sistema de grande porte, essa verificação é impraticável. Assim, a proposta deste projeto é abordar essas limitações propondo novas técnicas para facilitar a conformidade arquitetural e evitar as violações arquiteturais. Para atingirmos nosso objetivo, nossa abordagem propõe: (i) aplicação de técnicas de aprendizado de máquina e teoria dos grafos para identificação de regras arquiteturais; e (ii) avaliações estáticas das regras geradas juntamente da investigação da evolução do código fonte para detectar violações, padrões e anti-padrões arquiteturais. Para validação e experimentação dessas novas técnicas serão desenvolvidas ferramentas, além da extensão da ferramenta ArchViz, para apoiar os arquitetos de software nas tarefas de manter a arquitetura em conformidade e detectar violações com menos esforço e de forma mais automática... , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Especialização: (0) / Mestrado acadêmico: (2) / Mestrado profissional: (0) / Doutorado: (2) . , Integrantes: Cristiano Werner Araújo - Coordenador / Jhonny Marcos Acordi Mertz - Integrante / Ingrid Oliveira de NuneS - Integrante / Daltro José Nunes - Integrante / Vanius Zapalowski - Integrante / João Guilherme Faccin - Integrante.

Histórico profissional

Experiência profissional

2013 - Atual

Parks Comunicações Digitais - Matriz

Vínculo: Empregado - CLT, Enquadramento Funcional: Analista de desenvolvimento, Carga horária: 42

Outras informações:
Desenvolvimento em C para Linux Embarcado na linha GPON e escrita testes em TCL. Auxílio na especificação de novos produtos e features. Participação no refinamento de processos de desenvolvimento.

2012 - 2013

Teracom Telemática

Vínculo: Empregado - CLT, Enquadramento Funcional: Analista de desenvolvimento, Carga horária: 42

Outras informações:
Desenvolvimento em C para Linux Embarcado na linha Metro-Ethernet e elaboração de scripts em Python para testes.

2011 - 2012

Teracom Telemática

Vínculo: Estagiário, Enquadramento Funcional: Estagiário, Carga horária: 30, Regime: Dedicação exclusiva.

Outras informações:
Desenvolvimento em C para Linux Embarcado na linha SDH, criação de testes funcionais usando Lua.

2011 - 2011

Allevo Genetics

Vínculo: Estagiário, Enquadramento Funcional: Estagiário, Carga horária: 20, Regime: Dedicação exclusiva.

Outras informações:
Elaboração de BSP para Windows CE 6.0. Criação de API em C#. Elaboração de testes unitários. Desenvolvimento com Microsoft SQL Compact Server.

2009 - 2010

Universidade Federal do Rio Grande do Sul

Vínculo: Bolsista Iniciação Cientifíca, Enquadramento Funcional: Aluno, Carga horária: 20

Outras informações:
SImulação de arquitetura de hardware usando Simics e software proprietário. Validação de unidade de ponto flutuante em VHDL ( IEEE 754) e extração de métricas de potência.

2007 - 2007

Universidade Federal do Rio Grande do Sul

Vínculo: Bolsa de Monitoria, Enquadramento Funcional: Aluno - Monitor, Carga horária: 12

Outras informações:
Monitoria da disciplina de Algoritmos e Programação CIC, Algoritmos e programação e Introdução a programação. Atendimento aos alunos fora de horário de aula e auxílio ao professor nas aulas práticas.