Henrique Santos Camargos Rocha

  • Endereço para acessar este CV: http://lattes.cnpq.br/5387568496741674
  • Última atualização do currículo em 08/06/2018


Possui graduação em Ciência da Computação pela Pontifícia Universidade Católica de Minas Gerais (2003), mestrado em Engenharia Elétrica pela Pontifícia Universidade Católica de Minas Gerais (2006), e doutorado em Ciências da Computação na UFMG (2016) com o grupo de pesquisa de Engenharia de Software Aplicada. Atualmente faz pós-doutorado no Inria (França, 2017). Henrique também professor adjunto da Faculdade COTEMIG (atualmente em licença para fazer o pós-doutorado). Tem experiência na área de Ciência da Computação e Engenharia Elétrica com ênfase em Engenharia de Software, Linguagens de Programação, Blockchain, Inteligência Artificial e Computação Gráfica. (Texto informado pelo autor)


Identificação


Nome
Henrique Santos Camargos Rocha
Nome em citações bibliográficas
ROCHA, H. S. C.;Rocha, Henrique

Endereço


Endereço Profissional
Institut National de Recherche en Informatique et en Automatique - Lille.
40 Avenue Halley, Building B
Center
59650 - Villeneuve D'ascq, - França
Telefone: (03) 59358723


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


2011 - 2016
Doutorado em Ciências da Computação.
Universidade Federal de Minas Gerais, UFMG, Brasil.
Título: Recomending Similar Bugs Using Text Mining Techniques, Ano de obtenção: 2016.
Orientador: Marco Túlio de Oliveira Valente.
Coorientador: Humberto Torres Marques Neto.
Palavras-chave: Manutenção de Software; Tratamento de Bugs; Sistema de Recomendações.
Grande área: Ciências Exatas e da Terra
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: Metodologia e Técnicas da Computação / Especialidade: Linguagens de Programação.
2003 - 2006
Mestrado em Engenharia Elétrica.
Pontifícia Universidade Católica de Minas Gerais, PUC Minas, Brasil.
Título: Metodologia de Registro de Imagens Termográficas para Equipamentos Elétricos,Ano de Obtenção: 2006.
Orientador: Alexei Manso Corrêa Machado.
Palavras-chave: Termografia; Registro de Imagens; Informação Mútua; Computação Gráfica.
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Análise de Algoritmos e Complexidade de Computação.
Grande Área: Engenharias / Área: Engenharia Elétrica / Subárea: Sistemas Elétricos de Potência / Especialidade: Medição, Controle, Correção e Proteção de Sistemas Elétricos de Potência.
Setores de atividade: Assessoria Ou Consultoria de Arquitetura Ou Engenharia; Desenvolvimento de Programas (Software) e Prestação de Serviços em Informática; Informática.
1999 - 2003
Graduação em Ciência da Computação.
Pontifícia Universidade Católica de Minas Gerais, PUC Minas, Brasil.
1997 - 1998
Ensino Médio (2º grau).
Penticton High School, PENHIGH, Canadá.
1992 - 1995
Ensino Fundamental (1º grau).
Escola Estadual Dom Manuel Nunes Coelho, EEDMNC, Brasil.


Pós-doutorado


2017
Pós-Doutorado.
Institut National de Recherche en Informatique et en Automatique - Lille, INRIA, França.
Grande área: Ciências Exatas e da Terra
Grande Á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.


Atuação Profissional



Faculdade COTEMIG, FC, Brasil.
Vínculo institucional

2012 - Atual
Vínculo: Professor Visitante, Enquadramento Funcional: Professor Adjunto, Carga horária: 8

Atividades

02/2012 - Atual
Ensino, Sistemas de Informação, Nível: Graduação

Disciplinas ministradas
Linguagens de Programação
Compiladores
Sistemas Web

Faculdade Presidente Antônio Carlos de Bom Despacho, UNIPAC-BD, Brasil.
Vínculo institucional

2007 - 2012
Vínculo: Celetista formal, Enquadramento Funcional: Professor Adjunto, Carga horária: 8

Atividades

02/2007 - 12/2012
Ensino, Sistemas de Informação, Nível: Graduação

Disciplinas ministradas
Conectividade (Redes)
Gerência de Projetos
Modelagem e Projeto de Banco de Dados
Produção de Sites
Programação para Web
Qualidade de Software
Sistemas Operacionais
08/2008 - 01/2010
Ensino, Desenvolvimento de Sistemas para Web, Nível: Pós-Graduação

Disciplinas ministradas
Geração de Relatórios e Gráficos para Web

Centro Universitário UNA, UNA, Brasil.
Vínculo institucional

2009 - 2011
Vínculo: Celetista formal, Enquadramento Funcional: Professor Assistente, Carga horária: 6

Atividades

08/2010 - 07/2011
Ensino, Engenharia da Computação, Nível: Graduação

Disciplinas ministradas
Bancos de Dados
Sistemas Operacionais
02/2010 - 07/2011
Ensino, Gestão de Desenvolvimento Web, Nível: Pós-Graduação

Disciplinas ministradas
Geração de Relatórios e Gráficos para Web
09/2009 - 07/2011
Ensino, Sistemas de Informação, Nível: Graduação

Disciplinas ministradas
Bancos de Dados I
Bancos de Dados II
Sistemas Operacionais

Faculdade de Filosofia, Ciências e Letras do Alto São Francisco, FASF, Brasil.
Vínculo institucional

2009 - Atual
Vínculo: Professor vistante, Enquadramento Funcional: Professor Visitante, Carga horária: 4

Atividades

08/2009 - Atual
Ensino, Educação Matemática, Nível: Pós-Graduação

Disciplinas ministradas
Tecnologias do Ensino da Matemática

Medical Imaging and Information Systems, MIIS, Brasil.
Vínculo institucional

2005 - 2007
Vínculo: Colaborador, Enquadramento Funcional: Analista de Sistemas, Carga horária: 40

Atividades

05/2005 - 01/2007
Serviços técnicos especializados , MIIS, .

Serviço realizado
Analista de Sistemas.

Grupo A&C, A&C, Brasil.
Vínculo institucional

2004 - 2005
Vínculo: Colaborador, Enquadramento Funcional: Programador, Carga horária: 40

Atividades

08/2004 - 03/2005
Serviços técnicos especializados .

Serviço realizado
Programação plataforma .NET.

Powerlogic, PLC, Brasil.
Vínculo institucional

2003 - 2003
Vínculo: Estagiario, Enquadramento Funcional: Estagiario, Carga horária: 20

Atividades

02/2003 - 07/2003
Estágios .

Estágio realizado
Estagio em desenvolvimento de sistemas java (J2SE e J2EE).

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

2000 - 2001
Vínculo: Monitor, Enquadramento Funcional: Monitor, Carga horária: 20
Outras informações
Monitoria da Disciplina Algoritmos e Tecnicas de Programação 2

Atividades

08/2000 - 05/2001
Outras atividades técnico-científicas , Departamento de Ciência da Computação - ICEI/PUC Minas, Departamento de Ciência da Computação - ICEI/PUC Minas.

Atividade realizada
Monitoria da disciplina Algoritmos e Tecnicas de Programação 2.

MCJ Acessoria Hospitalar, MCJ, Brasil.
Vínculo institucional

2005 - 2005
Vínculo: Professor Visitante, Enquadramento Funcional: Prestação de Serviços, Carga horária: 10

Atividades

04/2005 - 04/2005
Treinamentos ministrados , MCJ Acessoria Hospitalar, .

Treinamentos ministrados
Java Intermediário
Java Básico


Áreas de atuação


1.
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.
2.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Blockchain.
3.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Programming Languages.
4.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Inteligência Artificial.
5.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Graphical Processing (Graphics).


Idiomas


Português
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Espanhol
Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Razoavelmente.
Francês
Compreende Razoavelmente, Fala Pouco, Lê Razoavelmente, Escreve Pouco.


Prêmios e títulos


2002
2º Lugar do 4º Concurso Nacional dos 512 bytes, Centro Universitário do Triangulo Mineiro (UNIT).
2001
1º Lugar do 3º Concurso Nacional dos 512 bytes, Centro Universitário do Triangulo Mineiro (UNIT).


Produções



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

1.
ROCHA, H. S. C.;Rocha, Henrique2017ROCHA, H. S. C.; DURELLI, RAFAEL SERAPILHA ; TERRA, RICARDO ; BESSA, SÂNDALO ; VALENTE, M. T. O. . DCL 2.0: modular and reusable specification of architectural constraints. JOURNAL OF THE BRAZILIAN COMPUTER SOCIETY (IMPRESSO), v. 23, p. 12-36, 2017.

2.
Rocha, Henrique2015Rocha, Henrique; OLIVEIRA, GUILHERME DE ; MARQUES-NETO, HUMBERTO ; VALENTE, MARCO TULIO . NextBug: a Bugzilla extension for recommending similar bugs. Journal of Software Engineering Research and Development, v. 3, p. 3-14, 2015.

3.
Rocha, Henrique2013Rocha, Henrique; COUTO, CESAR ; MAFFORT, CRISTIANO ; GARCIA, ROGEL ; SIMOES, CLARISSE ; PASSOS, LEONARDO ; VALENTE, MARCO TULIO . Mining the impact of evolution categories on object-oriented metrics. Software Quality Journal (Online), v. 21, p. 529-549, 2013.

4.
Rocha, Henrique2013Rocha, Henrique; Terra, Ricardo . TerraER - an academic Tool for ER Modeling. Methods And Tools, v. 21, p. 38-41, 2013.

5.
BRITO, HUGO2013BRITO, HUGO ; MARQUES-NETO, HUMBERTO TORRES ; Terra, Ricardo ; Rocha, Henrique ; VALENTE, MARCO TULIO . On-the-fly extraction of hierarchical object graphs. Journal of The Brazilian Computer Society (Online), v. 19, p. 15-27, 2013.

Trabalhos completos publicados em anais de congressos
1.
BRAGAGNOLO, SANTIAGO ; Rocha, Henrique ; DENKER, MARCUS ; DUCASSE, STEPHANE . SmartInspect: solidity smart contract inspector. In: 2018 International Workshop on Blockchain Oriented Software Engineering (IWBOSE), 2018, Campobasso. 2018 International Workshop on Blockchain Oriented Software Engineering (IWBOSE), 2018. p. 9.

2.
Rocha, Henrique; DUCASSE, STÉPHANE ; DENKER, MARCUS ; LECERF, JASON . Solidity Parsing Using SmaCC. In: the 12th edition of the International Workshop, 2017, Maribor. Proceedings of the 12th edition of the International Workshop on Smalltalk Technologies - IWST '17. New York: ACM Press, 2017. p. 1.

3.
Rocha, Henrique; VALENTE, MARCO TULIO ; MARQUES-NETO, HUMBERTO ; MURPHY, GAIL C. . An Empirical Study on Recommendations of Similar Bugs. In: 2016 IEEE 23rd International Conference on Software Analysis, Evolution and Reengineering (SANER), 2016, Suita. 2016 IEEE 23rd International Conference on Software Analysis, Evolution, and Reengineering (SANER). v. 01. p. 46-56.

4.
Rocha, Henrique; DE OLIVEIRA, GUILHERME ; VALENTE, MARCO TULIO ; MARQUES-NETO, HUMBERTO . Characterizing Bug Workflows in Mozilla Firefox. In: the 30th Brazilian Symposium, 2016, Maringá. Proceedings of the 30th Brazilian Symposium on Software Engineering - SBES '16, 2016. p. 43.

5.
Rocha, Henrique; Guilherme Oliveira ; Humberto Marques-Neto ; Marco Túlio Valente . NextBug: A Tool for Recommending Similar Bugs in Open-Source Systems. In: Congresso Brasileiro de Software: Teoria e Prática (CBSoft), 2014, Maceió. Anais Sessão de Ferramentas, 2014. v. 2. p. 53-60.

6.
Renato Ramos Coelho ; Daniel Ramos Coelho ; ROCHA, H. S. C. ; Gerson Gomes Cunha . Desenvolvimento de um Sistema de Captura de Movimento de Baixo Custo. In: XIII Simpósio de Realidade Virtual e Aumentada (SVR), 2011, Uberlândia. Anais, 2011.

7.
ROCHA, H. S. C.; valente, M. T. . How Annotations are Used in Java: An Empirical Study. In: The 23rd International Conference on Software Engineering and Knowledge Engineering, 2011. Anais, 2011.

8.
ROCHA, H. S. C.; Terra, Ricardo . TerraER: Uma Ferramenta voltada ao Ensino do Modelo de Entidade-Relacionamento. In: VI Escola Regional de Banco de Dados, 2010, Joinville. Anais, 2010.

9.
BRITO, H. ; ROCHA, H. S. C. ; Terra, Ricardo ; valente, M. T. . Uma Abordagem para Recuperação da Arquitetura Dinâmica de Sistemas de Software. In: V Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software, 2010, Salvador. I Congresso Brasileiro de Software: Teoria e Prática, 2010. v. 3. p. 145-154.

Resumos expandidos publicados em anais de congressos
1.
ROCHA, H. S. C.; GOMES, D. C. ; BASTISTA, G. P. ; VASCONCELOS, L. F. S. ; MARTINS, C. A. P. S. . Simulação Integrada de Processador no Nível ISA e Hierarquia de Memória. In: WSCAD ? Workshop de Sistemas Computacionais de Alto Desempenho, 2003, São Paulo. 4o. WSCAD Anais, 2003.

Resumos publicados em anais de congressos
1.
Rocha, Henrique; Marco Túlio Valente ; Humberto Marques-Neto . Agrupamento Automático de Solicitações de Manutenção. In: Escola Latino Americana de Engenharia de Software, 2013, Rio de Janeiro. Anais da Primeira Escola Latino America de Engenharia de Software, 2013. v. 2. p. 9-9.

2.
ROCHA, H. S. C.. Visão geral sobre Sites de Busca. In: Onda Científica UNIPAC, 2007, Bom Despacho. Onda Científica Anais, 2007. v. 1.

3.
ROCHA, H. S. C.; MARTINS, C. A. P. S. ; GOMES, D. C. ; BASTISTA, G. P. ; VASCONCELOS, L. F. S. . JPACS: Uma Ferramenta de Simulação Integrada de Processador Nível ISA e Memória Cache. In: WSCAD ? Workshop de Sistemas Computacionais de Alto Desempenho, 2003, São Paulo. 4o. WSCAD Anais, 2003.


Produção técnica
Programas de computador sem registro
1.
Rocha, Henrique. SmaCC Solidity Parser. 2017.

2.
Terra, Ricardo ; ROCHA, H. S. C. . TerraER. 2008.

3.
ROCHA, H. S. C.. brCluster. 2005.

4.
ROCHA, H. S. C.; GOMES, D. C. ; BASTISTA, G. P. ; VASCONCELOS, L. F. S. . Java Processor and Cache Simulator (JPACS). 2003.



Bancas



Participação em bancas de trabalhos de conclusão
Trabalhos de conclusão de curso de graduação
1.
ROCHA, H. S. C.; Montevecchi, A; Tânia Nakamura. Participação em banca de Flávia Delgado, Ildeane Monteiro,Josiana Santos,Tabata Cesar.Sistema de Auxílio ao Processo Ensino-Aprendizagem no Ensino Fundamental. 2009. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Presidente Antônio Carlos.

2.
João Roberto Assunção; Edmilson Ferreira da Silva; ROCHA, H. S. C.. Participação em banca de Andréia Maria Costa Gotelip.Telecentro: Plano de Inclusão Digital e Cidadania. 2007. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Presidente Antônio Carlos.




Eventos



Participação em eventos, congressos, exposições e feiras
1.
Onda Científica UNIPAC 2010.História dos Jogos Digitais. 2010. (Encontro).

2.
Tecnologia em Foco.Programando em 512 bytes. 2010. (Simpósio).

3.
VI Escola Regional de Bancos de Dados.TerraER: Uma Ferramenta voltada ao Ensino do Modelo de Entidade-Relacionamento. 2010. (Simpósio).

4.
Onda Científica UNIPAC. Psicologia e Computação - Interfaces Contemporâneas. 2008. (Congresso).

5.
Onda Científica UNIPAC. Visão Geral sobre Sites de Busca. 2007. (Congresso).

6.
1a. Jornada de Jogos Digitais Puc Minas. 2005. (Seminário).

7.
SBLP 2003 - 7o. Simpósio Brasileiro de Linguagens de Programação. 2003. (Simpósio).

8.
WSCAD ? Workshop de Sistemas Computacionais de Alto Desempenho. Ferramenta de simulação de processador nivel isa e hierarquia de memória. 2003. (Congresso).

9.
3o. Concurso Nacional dos 512 bytes.TosGhost - A nova versão do pacman. 2001. (Outra).



Orientações



Orientações e supervisões concluídas
Trabalho de conclusão de curso de graduação
1.
Brito, E., Nunes, A., Pereira, D., Assunção, G., Sousa, R.. Mineração de Dados usando Árvore de Decisão aplicado a uma base do IBGE. 2011. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - Universidade Presidente Antônio Carlos. Orientador: Henrique Santos Camargos Rocha.

2.
Melo, F., Santos, J., Costa, P., Batista, T., Couto, V.. Desenvolvimento de um Museu para Web. 2011. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - Universidade Presidente Antônio Carlos. Orientador: Henrique Santos Camargos Rocha.

3.
Alexandre Santos, Enia Pimenta, Maisa Silva, Patricia Viana. Mineração de Dados na Análise Comportamental de Vendas de um Supermercado. 2011. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - Universidade Presidente Antônio Carlos. Orientador: Henrique Santos Camargos Rocha.

4.
Filipe Martins, Wellington de Souza, William Ferreira. Estudo de POA para solucionar requisitos tranversais. 2010. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - Universidade Presidente Antônio Carlos. Orientador: Henrique Santos Camargos Rocha.

5.
Geovani Duarte, Leonardo, Sávio Moreira, Vinicius, Wendell. Classificação e Indexação na Mineração Eficiente de Currículos. 2009. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - Universidade Presidente Antônio Carlos. Orientador: Henrique Santos Camargos Rocha.

6.
Amélia Gonçalves, Cristiano Aparecido, Simone Aparecida. Gestão de Abastecimentos. 2008. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - Universidade Presidente Antônio Carlos. Orientador: Henrique Santos Camargos Rocha.

7.
Breno Ferreira, Marlúcio Divino, Uillian Magela, Marcos Neri. Explicando Arquiteturas Orientadas a Serviços Através de uma Comparação com Programação Orientada a Objetos. 2008. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - Universidade Presidente Antônio Carlos. Orientador: Henrique Santos Camargos Rocha.

8.
Alysson José Vieira. Sistema de Apoio ao Processo de Seleção de Candidatos para Empresas. 2007. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - Universidade Presidente Antônio Carlos. Orientador: Henrique Santos Camargos Rocha.



Educação e Popularização de C & T



Programa de Computador sem registro de patente
1.
Terra, Ricardo ; ROCHA, H. S. C. . TerraER. 2008.



Outras informações relevantes


Nota do POSCOMP 2008 - 31 pontos.



Página gerada pelo Sistema Currículo Lattes em 14/11/2018 às 13:20:13