Andrei Rimsa Álvares

  • Endereço para acessar este CV: http://lattes.cnpq.br/0531001850708530
  • Última atualização do currículo em 05/04/2017


Possui graduação em Ciência da Computação pela Pontifícia Universidade Católica de Minas Gerais (2008) e mestrado em Ciência da Computação pela Universidade Federal de Minas Gerais (2010). Atualmente é professor no Centro Federal de Educação Tecnológica de Minas Gerais. Tem experiência na área de Ciência da Computação, com ênfase em Linguagens de Programação e Compiladores. Interesses incluem análise e otimização de código, além de segurança de computadores. (Texto informado pelo autor)


Identificação


Nome
Andrei Rimsa Álvares
Nome em citações bibliográficas
RIMSA, A.;RIMSA, ANDREI;Rimsa, Andrei

Endereço


Endereço Profissional
Universidade Federal de Ouro Preto, Instituto de Ciências Exatas e Aplicadas.
Rua Trinta e Seis
Loanda
35931008 - João Monlevade, MG - Brasil
Telefone: (31) 38528709


Formação acadêmica/titulação


2009 - 2010
Mestrado em Ciências da Computação.
Universidade Federal de Minas Gerais, UFMG, Brasil.
Título: Efficient Static Analysis to Find Tainted Variable Attacks,Ano de Obtenção: 2010.
Orientador: Roberto da Silva Bigonha.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
Grande área: Ciências Exatas e da Terra
2005 - 2008
Graduação em Ciência da Computação.
Pontifícia Universidade Católica de Minas Gerais, PUC Minas, Brasil.
Título: Utilização da Representação BDD na FCA.
Orientador: Luis Enrique Zárate Gálvez.




Atuação Profissional



Centro Federal de Educação Tecnológica de Minas Gerais, CEFET/MG, Brasil.
Vínculo institucional

2014 - Atual
Vínculo: Servidor Público, Enquadramento Funcional: Professor Assistente, Carga horária: 40, Regime: Dedicação exclusiva.


Universidade Federal de Ouro Preto, UFOP, Brasil.
Vínculo institucional

2013 - 2014
Vínculo: , Enquadramento Funcional: Professor Assistente, Carga horária: 40, Regime: Dedicação exclusiva.


Universidade Federal de Minas Gerais, UFMG, Brasil.
Vínculo institucional

2009 - 2010
Vínculo: Bolsista, Enquadramento Funcional: CAPES, Carga horária: 40, Regime: Dedicação exclusiva.


Pontifícia Universidade Católica de Minas Gerais, PUC Minas, Brasil.
Vínculo institucional

2008 - 2008
Vínculo: Iniciação Científica, Enquadramento Funcional: Bolsista, Carga horária: 20
Outras informações
Financiamento: CEMIG

Vínculo institucional

2006 - 2007
Vínculo: Iniciação Científica, Enquadramento Funcional: Bolsista, Carga horária: 20
Outras informações
Financiamento: PROBIC/FAPEMIG



Projetos de pesquisa


2014 - Atual
Automatização de Testes de Software em Sistemas Embarcados
Descrição: O objetivo do projeto é testar automaticamente programas industriais que possuem requerimentos complexos como robustez e correção. Esse projeto prevê a especificação e implementação de técnicas automáticas para testar software feito para dispositivos embarcados em três novas formas: (i) aumentar a cobertura das técnicas existentes, extraindo trechos de código de programas, para que esses trechos possam ser testados diretamente; (2) testar código de máquina, trabalhos anteriores lidam com testes com código-fonte; (3) estabelecer métodos e infra-estrutura para a realização de testes de desempenho. A fim de validar muitos dos conceitos propostos neste projeto, contaremos com o apoio da empresa Maxtrack Industrial LTDA, especializada na manufatura de hardware para rastreamento de veículos. Dada essa relação com a indústria, e as diferentes habilidades presentes entre os membros da equipe que apresenta essa proposta, espera-se que desse trabalho resultem contribuições práticas e teóricas que avancem o estado da arte da indústria de software nacional..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico: (3) .
Integrantes: Andrei Rimsa Álvares - Integrante / Fernando M. Q. Pereira - Coordenador / Mariza A. S. Bigonha - Integrante / Eduardo L. Figueiredo - Integrante / Anolan Milanés - Integrante / Francisco Demontiê - Integrante / Henrique N. Santos - Integrante / Johnatan Alves de Oliveira - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Outra.


Projetos de extensão


2015 - Atual
Elaboração e implantação de um ambiente de treinamento para equipes de Competição de Programação no CEFET-MG
Descrição: Montagem de uma estrutura de treinamento para preparação de alunos da graduação e ensino técnico do CEFET-MG, Campus 2 Belo Horizonte, para participação em competições de programação, visando a melhoria constante do seu desempenho nas provas..
Situação: Em andamento; Natureza: Extensão.
Alunos envolvidos: Graduação: (2) .
Integrantes: Andrei Rimsa Álvares - Coordenador / Sandro Renato Dias - Integrante / Leonardo Conegundes Martinez - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Outra.


Áreas de atuação


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


Idiomas


Português
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.


Prêmios e títulos


2010
Terceiro melhor artigo do Simpósio Brasileiro de Linguagens de Programação 2010 "Efficient Static Check of Tainted Variable Attacks", Sociedade Brasileira de Computação.


Produções



Produção bibliográfica
Artigos completos publicados em periódicos

1.
RIMSA, ANDREI2013 RIMSA, ANDREI; D'AMORIM, MARCELO ; QUINTÃO PEREIRA, FERNANDO MAGNO ; BIGONHA, ROBERTO S. . Efficient static checker for tainted variable attacks. Science of Computer Programming (Print), v. 1, p. 1016, 2013.

Trabalhos completos publicados em anais de congressos
1.
RIMSA, A.; SONG, M. A. J ; ZARATE, L. E. . SCGaz ? A Synthetic Formal Context Generator with Density Control for Test and Evaluation of FCA Algorithms. In: IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, 2013, Manchester. IEEE SMC, 2013.

2.
RIMSA, A.; D'AMORIM, MARCELO ; PEREIRA, F. . Tainted Flow Analysis on e-SSA-Form Programs. In: 20th International Conference on Compiler Construction, 2011, Saarbrücken. CC'11/ETAPS'11. Berlin Heidelberg: Springer, 2011. p. 124-143.

3.
RIMSA, A.; DAMORIM, M ; PEREIRA, F. . Efficient Static Checker for Tainted Variable Attacks. In: SBLP, 2010, Salvador. SBLP, 2010.

4.
RIMSA, A.; ZARATE, L. E. ; SONG, M. A. J . Handling Large Formal Context Using BDD ? Perspectives and Limitations. In: 7th International Conference on Formal Concept Analysis, 2009, Darmstadt. Formal Concept Analysis. Berlin Heidelberg: Springer, 2009. v. 5548. p. 194-209.

5.
RIMSA, A.; ZARATE, L. E. ; SONG, M. A. J . Evaluation of Different BDD Libraries to Extract Concepts in FCA ? Perspectives and Limitations. In: 9th International Conference on Computational Science, 2009, Baton Rouge. Computational Science ? ICCS 2009. Berlin / Heidelberg: Springer, 2009. v. 5544. p. 367-376.

Resumos expandidos publicados em anais de congressos
1.
RIBEIRO, A. I. J. T. ; RIMSA, A. . Técnica Motivacional Para o Ensino de Arquitetura de Computadores com Ênfase nos Grandes Desafios da Computação. In: Workshop sobre Educação em Arquitetura de Computadores WEAC 2008 (em conjunto com SBAC-PAD 2008 e WSCAD 2008), 2008, Campo Grande. Workshop sobre Educação em Arquitetura de Computadores, 2008.


Produção técnica
Programas de computador sem registro
1.
RIMSA, A.. Adding Static Profiling Capabilities to LLVM, Google Summer of Code. 2009.



Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
RIMSA, A.. Participação em banca de Raphael Ernani Rodrigues. Scalable and Precise Range Analysis on the Interval Lattice. 2014. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.




Eventos



Participação em eventos, congressos, exposições e feiras
1.
Maratona de Programação.Maratona de Programação. 2007. (Outra).



Orientações



Orientações e supervisões concluídas
Trabalho de conclusão de curso de graduação
1.
Lucas Eustáquio Souza Antonacci. HTML5: Utilização no Contexto Mundial. 2013. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - Pontifícia Universidade Católica de Minas Gerais. Orientador: Andrei Rimsa Álvares.

2.
Felipe Rogério Neves e Carvalho. Avaliação da Implantação de um Sistema ERP para Controle de Processos. 2013. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - Pontifícia Universidade Católica de Minas Gerais. Orientador: Andrei Rimsa Álvares.

3.
Og Torres Neto. ANÁLISE DE SISTEMAS DE ARQUIVOS VOLTADOS PARA SISTEMAS EMBARCADOS. 2012. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - Pontifícia Universidade Católica de Minas Gerais. Orientador: Andrei Rimsa Álvares.

4.
Diego Marques Oliveira. UM ESTUDO COMPARATIVO DE FERRAMENTAS DE MODELAGEM DE PROCESSOS. 2012. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - Pontifícia Universidade Católica de Minas Gerais. Orientador: Andrei Rimsa Álvares.

5.
Lucas Henrique da Silveira Pereira. UMA AVALIAÇÃO DO SOFTWARE EDUCACIONAL ALFACEL EM UMA INSTITUIÇÃO DE ENSINO INFANTIL. 2012. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - Pontifícia Universidade Católica de Minas Gerais. Orientador: Andrei Rimsa Álvares.




Página gerada pelo Sistema Currículo Lattes em 11/12/2018 às 3:41:25