Henrique Santos Camargos Rocha

Atualmente, Henrique é professor assistente da Loyola University Maryland (EUA, desde 08/2021). 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 (ASERG). Primeiro pós-doutorado no Inria Lille (França, 05/2017 a 12/2018) focando em Blockchain Oriented Software Engineering. Segundo pós-doutorado na Universidade da Antuérpia (Bélgica, 01/2019 a 07/2021) na área de ecossistemas de software e testes.Tem experiência na área de Ciência da Computação com ênfase em Engenharia de Software, Blockchain, Ecossistemas de Software, Testes e Bugs..

Informações coletadas do Lattes em 13/04/2026

Acadêmico

Formação acadêmica

Doutorado em Ciências da Computação

2011 - 2016

Universidade Federal de Minas Gerais
Título: Recomending Similar Bugs Using Text Mining Techniques
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 TerraGrande Á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.

Mestrado em Engenharia Elétrica

2003 - 2006

Pontifícia Universidade Católica de Minas Gerais, PUC Minas
Título: Metodologia de Registro de Imagens Termográficas para Equipamentos Elétricos,Ano de Obtenção: 2006
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 TerraGrande Á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.

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

1999 - 2003

Pontifícia Universidade Católica de Minas Gerais, PUC Minas

Ensino Médio (2º grau)

1997 - 1998

Penticton High School

Ensino Fundamental (1º grau)

1992 - 1995

Escola Estadual Dom Manuel Nunes Coelho

Pós-doutorado

2019 - 2021

Pós-Doutorado. , University of Antwerp, UA, Bélgica. , Grande área: Ciências Exatas e da Terra, Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Software Ecosystems. , Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Software Testing.

2017 - 2018

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: 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: Blockchain.

Idiomas

Inglês

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

Espanhol

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

Português

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

Francês

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

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

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

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

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Graphical Processing (Graphics).

Participação em eventos

Onda Científica UNIPAC 2010.História dos Jogos Digitais. 2010. (Encontro).

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

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

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

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

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

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

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

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

Participação em bancas

Aluno: Flávia Delgado, Ildeane Monteiro,Josiana Santos,Tabata Cesar

ROCHA, H. S. C.; Montevecchi, A; Tânia Nakamura. 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.

Aluno: Andréia Maria Costa Gotelip

João Roberto Assunção; Edmilson Ferreira da Silva;ROCHA, H. S. C.. 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.

Orientou

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;

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;

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;

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;

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;

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;

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;

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;

Produções bibliográficas

ROCHA, 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.
Rocha, 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.
Rocha, 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.
Rocha, Henrique ; Terra, Ricardo . TerraER - an academic Tool for ER Modeling. Methods And Tools , v. 21, p. 38-41, 2013.
BRITO, 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.
DUCASSE, STÉPHANE ; Rocha, Henrique ; BRAGAGNOLO, SANTIAGO ; DENKER, MARCUS . SmartAnvil: Open-Source Tool Suite for Smart Contract Analysis. In: Massimo Ragnedda; Giuseppe Destefanis. (Org.). Blockchain and Web 3.0 Social, Economic, and Technological Challenges. 1ed.Abingdon-on-Thames: Routledge, 2019, v. 1, p. 1-.
AMOORDON, ANDY ; Rocha, Henrique . Presenting Tendermint: Idiosyncrasies, Weaknesses, and Good Practices. In: 2019 IEEE International Workshop on Blockchain Oriented Software Engineering (IWBOSE), 2019, Hangzhou. 2019 IEEE International Workshop on Blockchain Oriented Software Engineering (IWBOSE), 2019. p. 44.
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.
BRAGAGNOLO, SANTIAGO ; Rocha, Henrique ; DENKER, MARCUS ; DUCASSE, STÉPHANE . Ethereum query language. In: the 1st International Workshop, 2018, Gothenburg. Proceedings of the 1st International Workshop on Emerging Trends in Software Engineering for Blockchain - WETSEB '18. New York: ACM Press, 2018. p. 1.
Markos Viggiato ; Terra, Ricardo ; Rocha, Henrique ; Marco Túlio Valente ; Eduardo Figueiredo . Microservices in Practice: a survey study. In: VI Workshop on Software Visualization, Evolution and Maintenance, 2018, São Carlos. Proceedings of VI Workshop on Software Visualization, Evolution and Maintenance, 2018.
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.
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.
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.
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.
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.
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.
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.
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.
Rocha, Henrique ; DUCASSE, STÉPHANE . Preliminary steps towards modeling blockchain oriented software. In: the 1st International Workshop, 2018, Gothenburg. Proceedings of the 1st International Workshop on Emerging Trends in Software Engineering for Blockchain - WETSEB '18. New York: ACM Press, 2018. p. 52.
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.
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.
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.
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.
Rocha, Henrique . Blockchain and Smart Contracts Crash Course. 2018. (Apresentação de Trabalho/Outra).

Outras produções

Rocha, Henrique . SmaCC Solidity Parser. 2017.

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

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

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

Prêmios

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

Histórico profissional

Endereço profissional

Loyola University Maryland, Department of Computer Science. , 4501 N. Charles Street, Donnelly Science Center, Room DS127G, ---, 21210 - Baltimore, - Estados Unidos, Telefone: (410) 6172899

Experiência profissional

2012 - 2019

Faculdade COTEMIG

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

Atividades

02/2012
Ensino, Sistemas de Informação, Nível: Graduação,Disciplinas ministradas, Linguagens de Programação, Compiladores, Sistemas Web

2007 - 2012

Faculdade Presidente Antônio Carlos de Bom Despacho

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

2009 - 2011

Centro Universitário UNA

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

2009 - 2009

Faculdade de Filosofia, Ciências e Letras do Alto São Francisco

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

Atividades

08/2009
Ensino, Educação Matemática, Nível: Pós-Graduação,Disciplinas ministradas, Tecnologias do Ensino da Matemática

2005 - 2007

Medical Imaging and Information Systems

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.

2004 - 2005

Grupo A&C

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.

2003 - 2003

Powerlogic

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

2000 - 2001

Pontifícia Universidade Católica de Minas Gerais, PUC Minas

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.

2005 - 2005

MCJ Acessoria Hospitalar

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

2021 - Atual

Loyola University Maryland

Vínculo: Celetista, Enquadramento Funcional: Assistant Professor, Carga horária: 6, Regime: Dedicação exclusiva.