Bruno Ferreira

possui graduação em Ciência da Computação pelo Centro Universitário de Formiga (2003), pós graduação em Redes de Computadores pelo Centro Universitário do Sul de Minas (2004), mestrado em Modelagem Matemática e Computacional pelo CEFET-MG (2008) e doutorado em Ciência da Computação pela UFMG (2016). Tem experiência na área de Ciência da Computação, com ênfase em Métodos Formais, Linguagens de Programação e Engenharia de Software. Atualmente é professor efetivo do Instituto Federal de de Minas Gerais - (IFMG - Campus Formiga).

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

Acadêmico

Formação acadêmica

Doutorado em Ciências da Computação

2010 - 2016

Universidade Federal de Minas Gerais
Título: Verification of Vehicular Networks Using Probabilistic Model Checking
, Ano de obtenção: 2016. Sérgio Vale Aguiar Campos. Palavras-chave: Verificação Automática; Redes de Sensores sem Fio; Probabilistic Model Checking; Vehicular Networks.Grande área: Ciências Exatas e da TerraGrande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Model Checking. Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Redes veiculares.

Mestrado em Modelagem Matemática e Computacional

2006 - 2008

Centro Federal de Educação Tecnológica de Minas Gerais
Título: Uma Técnica para Validação de Processos de Desenvolvimento de Software
, Ano de Obtenção: 2008.Gray Farias Moita.Palavras-chave: Verificação & Validação; Validação de Processos de Software.Grande área: Ciências Exatas e da Terra

Especialização em Pós-Graduação Lato Sensu Especialista em Docência

2019 - 2020

Instituto Federal Minas Gerais
Título: Uso de TICs em Conjunto com a Metodologia de Aprendizagem Baseada em Problemas no Ensino de Algoritmos
Orientador: Edio da Costa Junior

Especialização em Redes de Computadores

2004 - 2004

Centro Universitário do Sul de Minas
Título: Emulador para Web das camadas de Interface de Rede e Rede da arquitetura TCP/IP.
Orientador: Tomás Dias Sant' Ana

Graduação em Ciencia da Computação

2000 - 2003

Centro Universitário de Formiga
Título: Framework para coleta de dados de interações de usuários em páginas Web com HTML e XML dinânmicas e estáticas.
Orientador: Joubert de Castro Lima

Formação complementar

2019 - 2020

Fullstack Angular e Spring. (Carga horária: 120h). , Algaworks, ALGAWORKS, Brasil.

2017 - 2017

Extensão universitária em Raspberry PI - Automação e Controle. (Carga horária: 24h). , Microgenios, MICROGENIOS, Brasil.

2016 - 2016

Rumo a Universidade Empreendedora. (Carga horária: 60h). , Serviço de Apoio às Micro e Pequenas Empresas de Minas Gerais, SEBRAE (MG), Brasil.

2010 - 2010

Introdução ao teste de software: técnicas e ferram. (Carga horária: 6h). , Sociedade Brasileira de Computação, SBC, Brasil.

2009 - 2009

Extensão universitária em Formação Completa em J2EE e J2SE. (Carga horária: 160h). , PD Case, PD CASE, Brasil.

2009 - 2009

Programa de Capacitação em Educação a Distância. (Carga horária: 30h). , Instituto Federal de Educação, Ciência e Tecnologia de Minas Gerais, IFMG, Brasil.

2007 - 2007

Extensão universitária em Desenvolv. de Apl. Corporativa com Plataforma J2EE. (Carga horária: 60h). , Universidade Federal de Minas Gerais, UFMG, Brasil.

2006 - 2006

Delphi 2006 Desenvolvimento de Aplicações .NET. (Carga horária: 40h). , TDS - Tecnologia e Desenvolvimento de Softwares, TDSOFT, Brasil.

2002 - 2002

Extensão universitária em Montagem e Configuração de Micro. (Carga horária: 20h). , Centro Universitário de Formiga, FUOM, Brasil.

2001 - 2001

Extensão universitária em Linguarem SQL. (Carga horária: 8h). , Centro Universitário de Formiga, FUOM, Brasil.

2001 - 2001

Linux Avançado. (Carga horária: 30h). , Centro Universitário de Formiga, FUOM, Brasil.

Idiomas

Bandeira representando o idioma Inglês

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

Á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: Linguagens de Programaçã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: Sistemas de Informaçã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: Paradigmas de Linguagens.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Métodos Formais.

Organização de eventos

Ferreira, Bruno . X Jornada de Educação, Ciência e Tecnologia (JECT) do IFMG ? Campus Formiga. 2021. (Outro).

FERREIRA, B. . VIII Jornada de Educação, Ciência e Tecnologia (JECT) do IFMG ? Campus Formiga. 2018. (Outro).

FERREIRA, B. . Jornada Cultural do IFMG - Campus Formiga. 2017. .

GARBAZZA, I. E. ; SANTOS, L. A. ; COSTA, D. ; FERREIRA, B. ; TRINDADE, A. R. . I Semana de Ciências Exatas - IFMG - campus Bambuí. 2009. (Outro).

Participação em eventos

FrontInBH. 2017. (Seminário).

JECT - Jornada de Educação, Ciência e Tecnologia do IFMG.Sistema de Baixo Custo para monitoramento de entregas/veículos em tempo real. 2017. (Outra).

JavaOne. 2016. (Congresso).

III Escola de Verão em Computação do DCC/UFMG. 2014. (Outra).

X-Meeting/BSB 2013.A Probabilistic Model Checking Analysis of the Potassium Reactions with the Palytoxin and Na+/K+-ATPase Complex. 2013. (Simpósio).

Congresso Brasileiro de Software - CBSoft. A Probabilistic Model Checking Approach to Investigate Vehicular Networks. 2012. (Congresso).

XXX Congresso da Sociedade Brasileira de Computação. 2010. (Congresso).

30º Congresso Ibero-Latino-Americano de Métodos Computacionais em Engenharia. Técnica de Inpeção para a Validação de Processos de Desenvolvimento de Softwares. 2009. (Congresso).

XII Encontro de Modelagem Computacional.UMA PROPOSTA DE TÉCNICA POR INSPEÇÃO PARA VALIDAÇÃO DE PROCESSO DE DESENVOLVIMENTO DE SOFTWARE. 2009. (Encontro).

VIII Simpósio de Mecânica Computacional.Avaliação de Técnicas de Validação para Processos de Desenvolvimento de Software. 2008. (Simpósio).

III Semana de Ciência & Tecnologia do CEFET-MG.Exposição dos resultados obtidos nas pesquisas do mestrado. 2007. (Seminário).

ErComp- Segundo Encontro Regional de Computação.ETCPIP - Emulador de redes para a camada de Rede e Interface de Rede. 2006. (Encontro).

ErComp - Primeiro Encontro Regional de Computação.Aplicações práticas com OpenGL. 2003. (Encontro).

Participação em bancas

Aluno: Tales Henrique José Moreira

MOITA, G. F.; DIAS, T. M. R.; MENEZES, G. C.;FERREIRA, B.. Genealogia Acadêmica Brasileira: Uma Caracterização da relação Orientador-Orientado no Brasil. 2018. Dissertação (Mestrado em Modelagem Matemática e Computacional) - Centro Federal de Educação Tecnológica de Minas Gerais.

Aluno: Douglas Melo dos Santos

Ferreira, Bruno; LEAO JUNIOR, R. G.; SOUSA JUNIOR, F.. Ferramenta Computacional para fins Didáticos nas Áreas de Ciências Térmicas e Fluídos. 2021. Trabalho de Conclusão de Curso (Graduação em Engenharia Mecânica) - Instituto Federal Minas Gerais.

Aluno: Eduardo Simões Nascimento

NASCIMENTO, E. S.;FERREIRA, B.; LIMA, F. P.; OLIVEIRA, P. M.. Sistema para gerenciamento de reuniões. 2017. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Instituto Federal Minas Gerais.

Aluno: Rodrigo de Deus Almeida

ALMEIDA, R. D.; OLIVEIRA, P. M.;FERREIRA, B.; LIMA, F. P.. Sistema móvel de análise de consumo de combustível de veículos. 2017. Trabalho de Conclusão de Curso (Graduação em Computação) - Instituto Federal Minas Gerais.

Aluno: Sávio Cardoso Caetano

SANTOS, E. V.;FERREIRA, B.; SILVA, D. M.. Um protótipo para disseminação de eventos rodoviários. 2017. Trabalho de Conclusão de Curso (Graduação em Computação) - Instituto Federal Minas Gerais.

Aluno: Rosiane Chaves

CHAVES, R.; TRINDADE, A. R.;FERREIRA, B.. Proposta de Metodologia de Software para a empresa Skill Informática. 2009. Trabalho de Conclusão de Curso (Graduação em Análise e Desenvolvimento de Sistemas) - Instituto Federal Minas Gerais.

Aluno: Eduardo Henrique Neto

FERREIRA, B.. Informatização da funcionalidade de um consultório fonoaudiológico. 2006. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Fundação Educacional de Oliveira.

Aluno: Grasiele Mara Moreira Resende

FERREIRA, B.. GMM_LOC: Software para vídeo locadora. 2006. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Fundação Educacional de Oliveira.

Aluno: Eni Berbert Camilo Contaifer

FERREIRA, B.. Metodologia para a Implantação de Sistemas de Gestão Integrada para Inst. de Ensino Superior. 2006. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Fundação Educacional de Oliveira.

Aluno: Adriano Henrique Alves Silveira

FERREIRA, B.. O Poder da Informação nas Organizações. 2006. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Fundação Educacional de Oliveira.

Aluno: Jonatas Silva Ribeiro

FERREIRA, B.. Desenvolvimento do sistema de gestão on line da loja Action Games. 2006. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Fundação Educacional de Oliveira.

Aluno: Raquel Veloso Rocha Soares

FERREIRA, B.. Software para gerenciamento de Financeiras. 2006. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Fundação Educacional de Oliveira.

Aluno: Vera Lucia de Jesus Machada

FERREIRA, B.. Desenvolvimento de Sistemas: Software de Gestão Escolar. 2006. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Fundação Educacional de Oliveira.

Aluno: Thiago Rodrigo Silva

FERREIRA, B.. Desenvolvimento de Software: Uma classe para publicar informações na Internet. 2006. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Fundação Educacional de Oliveira.

FERREIRA, B.; GARBAZZA, I. E.. Banca Avaliadora de Desempenho Didático para o Cargo de Professor de Ensino Básico, Técnico e Tecnológico. 2010. Instituto Federal de Educação, Ciência e Tecnologia de Minas Gerais.

FERREIRA, B.. Avaliador de Resumos Expandidos na VII Jornada de Edução, Ciência e Tecnologia do IFMG. 2017. Instituto Federal Minas Gerais.

OLIVEIRA, P. M.;FERREIRA, B.; PEREIRA JUNIOR, M.. Banca Examinadora para aplicação avaliação e classificação de tutores para o curso a técnico de Mantenção e Suporte a Informática à distância. 2010.

Ferreira, Bruno; DIAS, T. M. R.. Comissão para avaliação dos resumos expandidos para a III Jornada Ciêntífica do IFMG. 2010. Instituto Federal de Educação, Ciência e Tecnologia de Minas Gerais.

Ferreira, Bruno. Comissão para avaliação de projetos submetidos para o processo seletivo de boslas de Iniciação Científica. 2010.

GERALDO, A.;FERREIRA, B.; TRINDADE, A. R.; COSTA, D.; CORREA, R. M.; JESKE, J. C.. Comitê Institucional de Avaliação para julgamento de projetos e seleção de alunos nos programas de Iniciação Científica. 2009. Instituto Federal de Educação Ciência e Tecnologia do Norte de Minas Gerais.

COSTA, D.;FERREIRA, B.; CORREA, R. M.; GERALDO, A.. Comitê Institucional de Avaliação para julgamento de bolsas de pesquisa CNPQ. 2009. Instituto Federal de Educação Ciência e Tecnologia do Norte de Minas Gerais.

Orientou

Lucas Gabriel de Almeida

FERRAMENTA PARA BUSCA EM DOCUMENTOS TEXTUAIS POR PROMPTS UTILIZANDO LARGE LANGUAGE MODEL E RETRIEVAL-AUGMENTED GENERATION; 2025; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Instituto Federal Minas Gerais; Orientador: Bruno Ferreira;

João Paulo de Souza

Protótipo de uma Plataforma de busca de Preços na Web; 2025; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Instituto Federal Minas Gerais; Orientador: Bruno Ferreira;

Gabriel Fernandes Silva Gondim

Protótipo de uma Aplicação Web para Extração de Dados Não Estruturados; 2025; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Instituto Federal Minas Gerais; Orientador: Bruno Ferreira;

Paulo Henrique Xavier

Protótipo de sistema para eleições com validação e segurança inspirados na tecnologia Blockchain; 2024; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Instituto Federal Minas Gerais; Orientador: Bruno Ferreira;

Rúbia Marques de Oliveira

Protótipo de Sistema WEB para Imobiliária com Sistema de Recomendação de Imóveis; 2022; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Instituto Federal Minas Gerais; Orientador: Bruno Ferreira;

Igor Antônio Pedroso

Sistema de seleção de divulgadores, análise e gerenciamento de campanhas de marketing no instagram; 2021; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Instituto Federal Minas Gerais; Orientador: Bruno Ferreira;

Leandro Souza Pinheiro

Uso de Model Checking como alternativa de solução ao problema Timetabling; 2021; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Instituto Federal Minas Gerais; Orientador: Bruno Ferreira;

Ana Paula Silva Cunha

Protótipo de uma Single Page Application para Autoatendimento Bibliotecário usando ReactJS; 2019; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Instituto Federal Minas Gerais; Orientador: Bruno Ferreira;

Luiz Eduardo Pereira

Uso de metaheurísca em uma ferramenta de cotação para compras de cartas de magic: the gathering; 2019; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Instituto Federal Minas Gerais; Orientador: Bruno Ferreira;

Lucas Alves de Faria

Desenvolvimento de ​Website Responsivos com microserviços para gerenciamento escolar; 2018; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Instituto Federal Minas Gerais; Orientador: Bruno Ferreira;

Déborah Aparecida Resende

Protótipo de Single Page Application (SPA) para gerenciamento de sorveterias e dispositivo para monitoramento da temperatura; 2018; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Instituto Federal Minas Gerais; Orientador: Bruno Ferreira;

Bruno Eustáquio Enes Cardoso

Desenvolvimento de ​websites Responsivos para Rede de Hotéis; 2017; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Instituto Federal Minas Gerais; Orientador: Bruno Ferreira;

João Paulo de Menezes

Protótipo de sistema para monitoramento em tempo real de entrega de produtos; 2017; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Instituto Federal Minas Gerais; Orientador: Bruno Ferreira;

Hélder Ribeiro dos Santos

SysSumula - Sistema para controle do jogo e geração de súmulas de Handebol; 2009; Trabalho de Conclusão de Curso; (Graduação em Análise e Desenvolvimento de Sistemas) - Instituto Federal de Educação Ciência e Tecnologia do Norte de Minas Gerais; Orientador: Bruno Ferreira;

Thiago Rodrigo Silva

Desenvolvimento de Software: Uma classe para publicar informações na Internet; 2006; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Fundação Educacional de Oliveira; Orientador: Bruno Ferreira;

Vera Lucia de Jesus Machada

Desenvolvimento de Sistemas: Software de Gestão Escolar; 2006; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Fundação Educacional de Oliveira; Orientador: Bruno Ferreira;

Guilherme Barboza Mendonça

Blue Buy: Sistema de gerenciamento de uma lanchonete; 2018; Orientação de outra natureza - Instituto Federal Minas Gerais; Orientador: Bruno Ferreira;

Otávio Augosto Chaves

Estágio não obrigatório - Associação Mão Amiga; 2017; Orientação de outra natureza - Instituto Federal Minas Gerais; Orientador: Bruno Ferreira;

Vinícius Alves de Araújo

PBITI: Sistema de Controle para Associações de Assistência a menores carentes; 2016; Orientação de outra natureza; (Ciência da Computação) - Instituto Federal Minas Gerais; Orientador: Bruno Ferreira;

Ana Carolina da Cruz

Estágio não obrigatório - SE Sistemas Ltda; 2016; Orientação de outra natureza - SE Sistemas; Orientador: Bruno Ferreira;

Samuel Gomes Duque

Monitoria da disciplina de Programação; 2015; Orientação de outra natureza - Instituto Federal Minas Gerais, Instituto Federal de Educação, Ciência e Tecnologia de Minas Gerais; Orientador: Bruno Ferreira;

Produções bibliográficas

  • FERREIRA, BRUO ; SILVA, CAMILY LEAL ; RIBEIRO, FELIPE DE CASTRO LEAL . Um estudo de caso da ferramenta Beecrowd como tecnologia da informação e comunicação na aprendizagem de algoritmos. FORSCIENCE , v. 13, p. e01313, 2025.

  • ALMEIDA, W. G. ; COSTA JUNIOR, E. ; FERREIRA, B. . Uso de TICs em conjunto com a metodologia de aprendizagem baseada em problemas no ensino de algoritmos: um estudo de caso aplicado a um curso técnico do IFMG. InterSaberes Revista Científica , v. 16, p. 64-94, 2021.

  • FERREIRA, B. . Introdução aos Algoritmos e à Programação Básica com a Linguagem Java. 1. ed. Belo Horizonte: Editora IFMG, 2022. v. 1. 65p .

  • FERREIRA, B. . Conceitos Avançados sobre Algoritmos e Programação com a Linguagem Java. 1. ed. Belo Horizonte: Editora IFMG, 2022. v. 1. 84p .

  • MARINHO, R. P. ; FERREIRA, B. . Programação .Net Básico. 1. ed. Belo Horizonte: Editora IFMG, 2022. v. 1. 62p .

  • MARINHO, R. P. ; FERREIRA, B. . Programação .Net Avançado. 1. ed. Belo Horizonte: Editora IFMG, 2022. v. 1. 69p .

  • FERREIRA, B. ; CAMPOS, S. V. A. ; CUNHA, F. D. ; LOUREIRO, A. A. ; BRAZ, F. A. F. . Intelligent Service to Perform Overtaking in Vehicular Networks. In: ISCC 2015 - The Twentieth IEEE Symposium on Computers and Communications., 2015, Larnaca. ISCC 2015 - The Twentieth IEEE Symposium on Computers and Communications.. Larnaca: University of Cyprus, 2015. v. 1. p. 552-559.

  • FERREIRA, B. ; BRAZ, F. A. F. ; CAMPOS, S. V. A. ; LOUREIRO, A. A. . A Probabilistic Model Checking Analysis of Vehicular Ad-hoc Networks. In: 2015 IEEE 81st Vehicular Technology Conference: VTC2015-Spring, 2015, Glasgow. 2015 IEEE 81st Vehicular Technology Conference (VTC Spring). Glasgow: Curran Associates, 2015. v. 1. p. 235-242.

  • FERREIRA, B. ; CAMPOS, S. V. A. ; BRAZ, F. A. F. . A Probabilistic Model Checking Analysis of a Realistic Vehicular Networks Mobility Model. In: 17th Brazilian Sumposium, 2014, Maceió, AL, Brazil. Formal Methods: Foundations and Aplications. New York: Springer, 2014. v. 8941. p. 113-129.

  • OLIVEIRA, D. ; BRAZ, F. A. F. ; FERREIRA, B. ; FARIA-CAMPOS, A. ; CAMPOS, S. V. A. . Using Binary Decision Diagrams (BDDs) for Memory Optimization in Basic Local Alignment Search Tool (BLAST). In: Brazilian Symposium on Bioinformatics, 2014, Belo Horizonte. Advances in Bioinformatics and Computational Biology. New York: Springer, 2014. v. 8826. p. 65-72.

  • BRAZ, F. A. F. ; Ferreira, Bruno ; AMARAL, J. ; FARIA-CAMPOS, A. ; CAMPOS, S. V. A. ; CRUZ, J. . A Probabilistic Model Checking Analysis of the Potassium Reactions with the Palytoxin and Na+/K+-ATPase Complex. In: 8th Brazilian Symposium on Bioinformatics, BSB 2013, 2013, Recife. Advances in Bioinformatics and Computational Biology, 2013. p. 181-193.

  • FERREIRA, B. ; DIAS, T. M. R. ; MOITA, G. F. ; SILVA, A. M. . Viabilidade do Desenvolvimento de Software Baseado no Modelo MPS.BR com a Metodolgia Extreme Programming. In: IX SIMMEC - Simpósio de Mecânica Computacional, 2010, São João Del Rei. Viabilidade do Desenvolvimento de Software Baseado no Modelo MPS.BR com a Metodolgia Extreme Programming, 2010. v. 01. p. 30-40.

  • FERREIRA, B. ; MOITA, G. F. ; ALMEIDA, P. E. M. ; BORGES, H. E. . Técnica de Inspeção para a Validação de Processos de Desenvolvimento de Softwares. In: 30º Congresso Ibero-Latino-Americano de Métodos Computacionais em Engenharia, 2009, Armação de Búzios. Anais do 30º Congresso Ibero-Latino-Americano de Métodos Computacionais em Engenharia, 2009.

  • FERREIRA, B. ; MOITA, G. F. ; ALMEIDA, P. E. M. ; BORGES, H. E. . Uma proposta de técnica por inspeção para validação de processo de desenvolvimento de software. In: XII Encontro de Modelagem Computacional, 2009, Rio de Janeiro. XII Encontro de Modelagem Computacional. Rio de Janeiro, 2009. v. 1. p. 15-25.

  • FERREIRA, B. ; MOITA, G. F. . Avaliação de técnicas para validação em processos de desenvolvimento de software. In: VIII Simpósio de Mecânica Computacional, 2008, Belo Horizonte. Anais do SIMMEC 2008 VIII Simpósio de Mecânica Computacional. Belo Horizonte: PUC Minas, 2008. p. 22-37.

  • FERREIRA, B. ; COSTA, D. ; MOURA, J. G. ; SANT' ANA, T. D. . ETCPIP - Emulador de rede para as camadas de Rede e Interface de Rede. In: ErComp Segundo Encontro Regional de Computação, 2006, Formiga. ErComp Segundo Encontro Regional de Computação, 2006. v. 01. p. 20-28.

  • LIMA, J. C. ; MOURA, J. G. ; FERREIRA, B. ; ESMIN, A. A. A. . ArchCollect front-end: a Web usage data mining acquisition mechanism focused on satatic or dynamic contenting applications. In: Sixth International Conference In Enterprise Information Systems, 2004, Porto. Enterprise Information Systems, 2004.

  • Ferreira E. ; ENES, B. E. ; PIERONI, P. ; FERREIRA, B. . Sistema de baixo custo para monitoramento de entregas e veículos em tempo real. In: Seminário de Pesquisa e Inovação (SemPI), 2017, Formiga. Anais Eletrônicos - Seminário de Pesquisa e Inovação e Seminário de Extensão, 2017. v. 1.

  • ARAUJO, V. A. ; ENES, B. E. ; FERREIRA, B. . Sistema de controle para associações de assistência a menores. In: Seminário de Pesquisa e Inovação (SemPI), 2017, Formiga. Anais Eletrônicos - Seminário de Pesquisa e Inovação e Seminário de Extensão, 2017. v. 1.

  • Ferreira, Bruno ; BRAZ, F. A. F. ; CAMPOS, S. V. A. . A Probabilistic Model Checking Approach to Investigate Vehicular Networks. In: XV Simpósio Brasileiro de Métodos Formais, 2012, Natal-RN. Simpósio Brasileiro de Métodos Formais (SBMF 2012), 2012.

  • MOITA, G. F. ; FERREIRA, B. . The evaluation of different validation techniques for software development process. In: 8th World Congress on Computational Mechanics, 2008, Veneza. Proceedings of the 8th World Congress on Computational Mechanics WCCM8 and the 5th European Congress on Computational Methods in Applied Sciences and Engineering ECCOMAS 2008.. Barcelona: CIMNE, 2008. v. 1. p. 1-2.

  • FERREIRA, B. ; DIAS, T. M. R. ; MOITA, G. F. ; COSTA, D. . Validação de Processo de Desenvolvimento de Software por Métricas de Satisfação de Uso. In: IX SIMMEC Simpósio de Mecânica Computacional, 2010, São João Del Rei. Validação de Processo de Desenvolvimento de Software por Métricas de Satisfação de Uso, 2010. v. 01. p. 26-26.

  • FERREIRA, B. ; MOITA, G. F. . Avaliação de técnicas de verificação e validação para processos de desenvolvimento de software. In: IX Seminário de Progresso de Pesquisa em Pós-graduação / IV Encontro Interinstitucional de Pesquisa em Pós-graduação, 2007, Belo Horizonte. Caderno de Resumos da III Semana de Ciência e Tecnologia do CEFET-MG. Belo Horizonte: CEFET-MG, 2007. v. 1. p. 90-90.

  • FERREIRA, B. ; Moita, Gray F . Inspection technique for the validation of software development processes. Materials Science & Engineering. C, Biomimetic Materials, Sensors and Systems (Print) , 2010.

  • FERREIRA, B. ; CUNHA, F. D. ; CAMPOS, S. V. A. ; BRAZ, F. A. F. ; LOUREIRO, A. A. . Intelligent Service to Perform Overtaking in Vehicular Networks. 2015. (Apresentação de Trabalho/Simpósio).

  • FERREIRA, B. ; BRAZ, F. A. F. ; CAMPOS, S. V. A. ; LOUREIRO, A. A. . A Probabilistic Model Checking Analysis of Vehicular Ad-hoc Networks. 2015. (Apresentação de Trabalho/Congresso).

  • FERREIRA, B. ; MOITA, G. F. ; ALMEIDA, P. E. M. ; BORGES, H. E. . Técnica de Inpeção para a Validação de Processos de Desenvolvimento de Softwares. 2009. (Apresentação de Trabalho/Congresso).

  • FERREIRA, B. ; MOITA, G. F. ; ALMEIDA, P. E. M. ; BORGES, H. E. . UMA PROPOSTA DE TÉCNICA POR INSPEÇÃO PARA VALIDAÇÃO DE PROCESSO DE DESENVOLVIMENTO DE SOFTWARE. 2009. (Apresentação de Trabalho/Outra).

  • FERREIRA, B. ; MOITA, G. F. . Avaliação de técnicas para validação em processos de desenvolvimento de software. 2008. (Apresentação de Trabalho/Seminário).

Outras produções

FERREIRA, B. . Consultoria de tecnologia e inovação. 2017.

Ferreira, Bruno . Orientação a objetos na prática para criação de jogos e interfaces gráficas. 2020. (Curso de curta duração ministrado/Outra).

FERREIRA, B. . Criação de Web services com Java. 2019. (Curso de curta duração ministrado/Extensão).

FERREIRA, B. ; RIBEIRO, R. A. B. . Introdução ao MongoDB. 2018. (Curso de curta duração ministrado/Outra).

Ferreira, Bruno . Criação de Jogos 2D em Java. 2016. (Curso de curta duração ministrado/Extensão).

Projetos de pesquisa

  • 2020 - 2021

    Ferramenta de migração de dados para o Gradient 1.0, Situação: Concluído; Natureza: Pesquisa. , Integrantes: Bruno Ferreira - Coordenador / Jeferson Marques Costa Alves - Integrante.

  • 2020 - 2021

    Protótipo de Gerenciador de Horários para Instituições de Ensino, Situação: Concluído; Natureza: Pesquisa. , Integrantes: Bruno Ferreira - Coordenador / Paulo Henrique Xavier - Integrante.

  • 2018 - 2019

    Carro verde: uma arcabouço de coleta e descoberta de informações na Web, Projeto certificado pela empresa IDEALIZE PESQUISA E DESENVOLVIMENTO LTDA em 29/08/2018., Descrição: Implementação de um protótipo de descoberta e coleta de informações na Web. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) . , Integrantes: Bruno Ferreira - Coordenador / Raí Caetano de Jesus - Integrante / Luciana Lourdes Silva - Integrante / João Paulo Fernandes de Cerqueira César - Integrante / Renan Airton Batista Ribeiro - Integrante / Igor Antônio Pedroso - Integrante / José Luiz Maciel Pimenta - Integrante / Washington Santos da Silva - Integrante.

  • 2017 - 2018

    Sistema de Baixo Custo para monitoramento de entregas/veículos em tempo real, Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) . , Integrantes: Bruno Ferreira - Coordenador / Efrem Ferreira - Integrante / Bruno Eustáquio Enes - Integrante / Patrícia Pieroni - Integrante.

  • 2016 - 2017

    Protocolo para realização de manobras de ultrapassagem utilizando verificação probabilística de modelos e redes veiculares, Descrição: Manobras de ultrapassagens veiculares são arriscadas e podem causar graves acidentes, principalmente em rodovias de pista simples. Vários esforços têm sido realizados no intuito de torná-las mais seguras. Uma alternativa é o uso da comunicação entre veículos para auxiliar a tomada de decisão ao efetuar essa manobra. Assim, esse projeto de pesquisa propõe a criação de um protocolo para automatizar as ultrapassagens veiculares. Ele usa dados em tempo real transmitidos entre os veículos e as informações são exploradas por métodos formais que calculam as trajetórias e definem o comportamento ideal para os envolvidos. O protocolo utiliza a técnica de verificação de modelos probabilística, a qual explora todas as possibilidades do sistema e é capaz de indicar a exata configuração a ser seguida pelos envolvidos e não apenas dar suporte à decisão do motorista como propõe a maioria dos trabalhos correlatos.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) . , Integrantes: Bruno Ferreira - Coordenador / Efrem Ferreira - Integrante / Lucas Alves de Faria - Integrante / Bruno Eustáquio Enes - Integrante.

Projetos de desenvolvimento

  • 2004 - Atual

    ET (Emulador TCP/IP) - Emulador para Web das camadas de Interface de Rede e Rede da arquitetura TCP/IP., Descrição: O E.T. (Emulador TCP/IP) tem como objetivo principal emular graficamente o funcionamento de uma rede de computadores TCP/IP. Com o emulador o estudante ou profissional poderá ver como se comporta o protocolo TCP/IP na prática, sem a necessidade de ter todos os equipamentos físicos no local onde está estudando. O professor pode utilizar a ferramenta para expor graficamente conceitos sobre redes, através de uma interface gráfica. O emulador pode ser acessado em www.etcpip.com.br. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) / Especialização: (3) . , Integrantes: Bruno Ferreira - Integrante / Danielle Costa - Integrante / Juvêncio Geraldo de Moura - Integrante / Fernando Henrique Martins Baldance - Integrante / Tomás Dias Sant' Ana - Coordenador., Financiador(es): Fundação de Amparo à Pesquisa do Estado de Minas Gerais - Bolsa.

  • 2003 - 2003

    ArchCollect - Framework para coleta de dados de interações de usuários em páginas Web com HTML e XML dinâmicas e estáticas, Descrição: ArchCollect é uma arquitetura para coleta, transformação, carregamento e apresentação de interações de usuários na WEB.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Bruno Ferreira - Integrante / Joubert de Castro Lima - Coordenador.

  • 2004 - Atual

    ET (Emulador TCP/IP) - Emulador para Web das camadas de Interface de Rede e Rede da arquitetura TCP/IP., Descrição: O E.T. (Emulador TCP/IP) tem como objetivo principal emular graficamente o funcionamento de uma rede de computadores TCP/IP. Com o emulador o estudante ou profissional poderá ver como se comporta o protocolo TCP/IP na prática, sem a necessidade de ter todos os equipamentos físicos no local onde está estudando. O professor pode utilizar a ferramenta para expor graficamente conceitos sobre redes, através de uma interface gráfica. O emulador pode ser acessado em www.etcpip.com.br. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) / Especialização: (3) . , Integrantes: Bruno Ferreira - Integrante / Danielle Costa - Integrante / Juvêncio Geraldo de Moura - Integrante / Fernando Henrique Martins Baldance - Integrante / Tomás Dias Sant' Ana - Coordenador., Financiador(es): Fundação de Amparo à Pesquisa do Estado de Minas Gerais - Bolsa.

  • 2003 - 2003

    ArchCollect - Framework para coleta de dados de interações de usuários em páginas Web com HTML e XML dinâmicas e estáticas, Descrição: ArchCollect é uma arquitetura para coleta, transformação, carregamento e apresentação de interações de usuários na WEB.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Bruno Ferreira - Integrante / Joubert de Castro Lima - Coordenador.

  • 2004 - Atual

    ET (Emulador TCP/IP) - Emulador para Web das camadas de Interface de Rede e Rede da arquitetura TCP/IP., Descrição: O E.T. (Emulador TCP/IP) tem como objetivo principal emular graficamente o funcionamento de uma rede de computadores TCP/IP. Com o emulador o estudante ou profissional poderá ver como se comporta o protocolo TCP/IP na prática, sem a necessidade de ter todos os equipamentos físicos no local onde está estudando. O professor pode utilizar a ferramenta para expor graficamente conceitos sobre redes, através de uma interface gráfica. O emulador pode ser acessado em www.etcpip.com.br. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) / Especialização: (3) . , Integrantes: Bruno Ferreira - Integrante / Danielle Costa - Integrante / Juvêncio Geraldo de Moura - Integrante / Fernando Henrique Martins Baldance - Integrante / Tomás Dias Sant' Ana - Coordenador., Financiador(es): Fundação de Amparo à Pesquisa do Estado de Minas Gerais - Bolsa.

  • 2003 - 2003

    ArchCollect - Framework para coleta de dados de interações de usuários em páginas Web com HTML e XML dinâmicas e estáticas, Descrição: ArchCollect é uma arquitetura para coleta, transformação, carregamento e apresentação de interações de usuários na WEB.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Bruno Ferreira - Integrante / Joubert de Castro Lima - Coordenador.

  • 2004 - Atual

    ET (Emulador TCP/IP) - Emulador para Web das camadas de Interface de Rede e Rede da arquitetura TCP/IP., Descrição: O E.T. (Emulador TCP/IP) tem como objetivo principal emular graficamente o funcionamento de uma rede de computadores TCP/IP. Com o emulador o estudante ou profissional poderá ver como se comporta o protocolo TCP/IP na prática, sem a necessidade de ter todos os equipamentos físicos no local onde está estudando. O professor pode utilizar a ferramenta para expor graficamente conceitos sobre redes, através de uma interface gráfica. O emulador pode ser acessado em www.etcpip.com.br. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) / Especialização: (3) . , Integrantes: Bruno Ferreira - Integrante / Danielle Costa - Integrante / Juvêncio Geraldo de Moura - Integrante / Fernando Henrique Martins Baldance - Integrante / Tomás Dias Sant' Ana - Coordenador., Financiador(es): Fundação de Amparo à Pesquisa do Estado de Minas Gerais - Bolsa.

  • 2003 - 2003

    ArchCollect - Framework para coleta de dados de interações de usuários em páginas Web com HTML e XML dinâmicas e estáticas, Descrição: ArchCollect é uma arquitetura para coleta, transformação, carregamento e apresentação de interações de usuários na WEB.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Bruno Ferreira - Integrante / Joubert de Castro Lima - Coordenador.

  • 2004 - Atual

    ET (Emulador TCP/IP) - Emulador para Web das camadas de Interface de Rede e Rede da arquitetura TCP/IP., Descrição: O E.T. (Emulador TCP/IP) tem como objetivo principal emular graficamente o funcionamento de uma rede de computadores TCP/IP. Com o emulador o estudante ou profissional poderá ver como se comporta o protocolo TCP/IP na prática, sem a necessidade de ter todos os equipamentos físicos no local onde está estudando. O professor pode utilizar a ferramenta para expor graficamente conceitos sobre redes, através de uma interface gráfica. O emulador pode ser acessado em www.etcpip.com.br. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) / Especialização: (3) . , Integrantes: Bruno Ferreira - Integrante / Danielle Costa - Integrante / Juvêncio Geraldo de Moura - Integrante / Fernando Henrique Martins Baldance - Integrante / Tomás Dias Sant' Ana - Coordenador., Financiador(es): Fundação de Amparo à Pesquisa do Estado de Minas Gerais - Bolsa.

  • 2003 - 2003

    ArchCollect - Framework para coleta de dados de interações de usuários em páginas Web com HTML e XML dinâmicas e estáticas, Descrição: ArchCollect é uma arquitetura para coleta, transformação, carregamento e apresentação de interações de usuários na WEB.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Bruno Ferreira - Integrante / Joubert de Castro Lima - Coordenador.

  • 2004 - Atual

    ET (Emulador TCP/IP) - Emulador para Web das camadas de Interface de Rede e Rede da arquitetura TCP/IP., Descrição: O E.T. (Emulador TCP/IP) tem como objetivo principal emular graficamente o funcionamento de uma rede de computadores TCP/IP. Com o emulador o estudante ou profissional poderá ver como se comporta o protocolo TCP/IP na prática, sem a necessidade de ter todos os equipamentos físicos no local onde está estudando. O professor pode utilizar a ferramenta para expor graficamente conceitos sobre redes, através de uma interface gráfica. O emulador pode ser acessado em www.etcpip.com.br. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) / Especialização: (3) . , Integrantes: Bruno Ferreira - Integrante / Danielle Costa - Integrante / Juvêncio Geraldo de Moura - Integrante / Fernando Henrique Martins Baldance - Integrante / Tomás Dias Sant' Ana - Coordenador., Financiador(es): Fundação de Amparo à Pesquisa do Estado de Minas Gerais - Bolsa.

  • 2003 - 2003

    ArchCollect - Framework para coleta de dados de interações de usuários em páginas Web com HTML e XML dinâmicas e estáticas, Descrição: ArchCollect é uma arquitetura para coleta, transformação, carregamento e apresentação de interações de usuários na WEB.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Bruno Ferreira - Integrante / Joubert de Castro Lima - Coordenador.

  • 2004 - Atual

    ET (Emulador TCP/IP) - Emulador para Web das camadas de Interface de Rede e Rede da arquitetura TCP/IP., Descrição: O E.T. (Emulador TCP/IP) tem como objetivo principal emular graficamente o funcionamento de uma rede de computadores TCP/IP. Com o emulador o estudante ou profissional poderá ver como se comporta o protocolo TCP/IP na prática, sem a necessidade de ter todos os equipamentos físicos no local onde está estudando. O professor pode utilizar a ferramenta para expor graficamente conceitos sobre redes, através de uma interface gráfica. O emulador pode ser acessado em www.etcpip.com.br. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) / Especialização: (3) . , Integrantes: Bruno Ferreira - Integrante / Danielle Costa - Integrante / Juvêncio Geraldo de Moura - Integrante / Fernando Henrique Martins Baldance - Integrante / Tomás Dias Sant' Ana - Coordenador., Financiador(es): Fundação de Amparo à Pesquisa do Estado de Minas Gerais - Bolsa.

  • 2003 - 2003

    ArchCollect - Framework para coleta de dados de interações de usuários em páginas Web com HTML e XML dinâmicas e estáticas, Descrição: ArchCollect é uma arquitetura para coleta, transformação, carregamento e apresentação de interações de usuários na WEB.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Bruno Ferreira - Integrante / Joubert de Castro Lima - Coordenador.

  • 2004 - Atual

    ET (Emulador TCP/IP) - Emulador para Web das camadas de Interface de Rede e Rede da arquitetura TCP/IP., Descrição: O E.T. (Emulador TCP/IP) tem como objetivo principal emular graficamente o funcionamento de uma rede de computadores TCP/IP. Com o emulador o estudante ou profissional poderá ver como se comporta o protocolo TCP/IP na prática, sem a necessidade de ter todos os equipamentos físicos no local onde está estudando. O professor pode utilizar a ferramenta para expor graficamente conceitos sobre redes, através de uma interface gráfica. O emulador pode ser acessado em www.etcpip.com.br. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) / Especialização: (3) . , Integrantes: Bruno Ferreira - Integrante / Danielle Costa - Integrante / Juvêncio Geraldo de Moura - Integrante / Fernando Henrique Martins Baldance - Integrante / Tomás Dias Sant' Ana - Coordenador.Financiador(es): Fundação de Amparo à Pesquisa do Estado de Minas Gerais - Bolsa.

  • 2003 - 2003

    ArchCollect - Framework para coleta de dados de interações de usuários em páginas Web com HTML e XML dinâmicas e estáticas, Descrição: ArchCollect é uma arquitetura para coleta, transformação, carregamento e apresentação de interações de usuários na WEB.. , Situação: Concluído; Natureza: Desenvolvimento.

  • 2004 - Atual

    ET (Emulador TCP/IP) - Emulador para Web das camadas de Interface de Rede e Rede da arquitetura TCP/IP., Descrição: O E.T. (Emulador TCP/IP) tem como objetivo principal emular graficamente o funcionamento de uma rede de computadores TCP/IP. Com o emulador o estudante ou profissional poderá ver como se comporta o protocolo TCP/IP na prática, sem a necessidade de ter todos os equipamentos físicos no local onde está estudando. O professor pode utilizar a ferramenta para expor graficamente conceitos sobre redes, através de uma interface gráfica. O emulador pode ser acessado em www.etcpip.com.br. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) / Especialização: (3) . , Integrantes: Bruno Ferreira - Integrante / Danielle Costa - Integrante / Juvêncio Geraldo de Moura - Integrante / Fernando Henrique Martins Baldance - Integrante / Tomás Dias Sant' Ana - Coordenador., Financiador(es): Fundação de Amparo à Pesquisa do Estado de Minas Gerais - Bolsa.

  • 2003 - 2003

    ArchCollect - Framework para coleta de dados de interações de usuários em páginas Web com HTML e XML dinâmicas e estáticas, Descrição: ArchCollect é uma arquitetura para coleta, transformação, carregamento e apresentação de interações de usuários na WEB.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Bruno Ferreira - Integrante / Joubert de Castro Lima - Coordenador.

  • 2004 - Atual

    ET (Emulador TCP/IP) - Emulador para Web das camadas de Interface de Rede e Rede da arquitetura TCP/IP., Descrição: O E.T. (Emulador TCP/IP) tem como objetivo principal emular graficamente o funcionamento de uma rede de computadores TCP/IP. Com o emulador o estudante ou profissional poderá ver como se comporta o protocolo TCP/IP na prática, sem a necessidade de ter todos os equipamentos físicos no local onde está estudando. O professor pode utilizar a ferramenta para expor graficamente conceitos sobre redes, através de uma interface gráfica. O emulador pode ser acessado em www.etcpip.com.br. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) / Especialização: (3) . , Integrantes: Bruno Ferreira - Integrante / Danielle Costa - Integrante / Juvêncio Geraldo de Moura - Integrante / Fernando Henrique Martins Baldance - Integrante / Tomás Dias Sant' Ana - Coordenador., Financiador(es): Fundação de Amparo à Pesquisa do Estado de Minas Gerais - Bolsa.

  • 2003 - 2003

    ArchCollect - Framework para coleta de dados de interações de usuários em páginas Web com HTML e XML dinâmicas e estáticas, Descrição: ArchCollect é uma arquitetura para coleta, transformação, carregamento e apresentação de interações de usuários na WEB.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Bruno Ferreira - Integrante / Joubert de Castro Lima - Coordenador.

  • 2004 - Atual

    ET (Emulador TCP/IP) - Emulador para Web das camadas de Interface de Rede e Rede da arquitetura TCP/IP., Descrição: O E.T. (Emulador TCP/IP) tem como objetivo principal emular graficamente o funcionamento de uma rede de computadores TCP/IP. Com o emulador o estudante ou profissional poderá ver como se comporta o protocolo TCP/IP na prática, sem a necessidade de ter todos os equipamentos físicos no local onde está estudando. O professor pode utilizar a ferramenta para expor graficamente conceitos sobre redes, através de uma interface gráfica. O emulador pode ser acessado em www.etcpip.com.br. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) / Especialização: (3) . , Integrantes: Bruno Ferreira - Integrante / Danielle Costa - Integrante / Juvêncio Geraldo de Moura - Integrante / Fernando Henrique Martins Baldance - Integrante / Tomás Dias Sant' Ana - Coordenador., Financiador(es): Fundação de Amparo à Pesquisa do Estado de Minas Gerais - Bolsa.

  • 2003 - 2003

    ArchCollect - Framework para coleta de dados de interações de usuários em páginas Web com HTML e XML dinâmicas e estáticas, Descrição: ArchCollect é uma arquitetura para coleta, transformação, carregamento e apresentação de interações de usuários na WEB.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Bruno Ferreira - Integrante / Joubert de Castro Lima - Coordenador.

  • 2004 - Atual

    ET (Emulador TCP/IP) - Emulador para Web das camadas de Interface de Rede e Rede da arquitetura TCP/IP., Descrição: O E.T. (Emulador TCP/IP) tem como objetivo principal emular graficamente o funcionamento de uma rede de computadores TCP/IP. Com o emulador o estudante ou profissional poderá ver como se comporta o protocolo TCP/IP na prática, sem a necessidade de ter todos os equipamentos físicos no local onde está estudando. O professor pode utilizar a ferramenta para expor graficamente conceitos sobre redes, através de uma interface gráfica. O emulador pode ser acessado em www.etcpip.com.br. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) / Especialização: (3) . , Integrantes: Bruno Ferreira - Integrante / Danielle Costa - Integrante / Juvêncio Geraldo de Moura - Integrante / Fernando Henrique Martins Baldance - Integrante / Tomás Dias Sant' Ana - Coordenador., Financiador(es): Fundação de Amparo à Pesquisa do Estado de Minas Gerais - Bolsa.

  • 2003 - 2003

    ArchCollect - Framework para coleta de dados de interações de usuários em páginas Web com HTML e XML dinâmicas e estáticas, Descrição: ArchCollect é uma arquitetura para coleta, transformação, carregamento e apresentação de interações de usuários na WEB.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Bruno Ferreira - Integrante / Joubert de Castro Lima - Coordenador.

  • 2004 - Atual

    ET (Emulador TCP/IP) - Emulador para Web das camadas de Interface de Rede e Rede da arquitetura TCP/IP., Descrição: O E.T. (Emulador TCP/IP) tem como objetivo principal emular graficamente o funcionamento de uma rede de computadores TCP/IP. Com o emulador o estudante ou profissional poderá ver como se comporta o protocolo TCP/IP na prática, sem a necessidade de ter todos os equipamentos físicos no local onde está estudando. O professor pode utilizar a ferramenta para expor graficamente conceitos sobre redes, através de uma interface gráfica. O emulador pode ser acessado em www.etcpip.com.br. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) / Especialização: (3) . , Integrantes: Bruno Ferreira - Integrante / Danielle Costa - Integrante / Juvêncio Geraldo de Moura - Integrante / Fernando Henrique Martins Baldance - Integrante / Tomás Dias Sant' Ana - Coordenador., Financiador(es): Fundação de Amparo à Pesquisa do Estado de Minas Gerais - Bolsa.

  • 2003 - 2003

    ArchCollect - Framework para coleta de dados de interações de usuários em páginas Web com HTML e XML dinâmicas e estáticas, Descrição: ArchCollect é uma arquitetura para coleta, transformação, carregamento e apresentação de interações de usuários na WEB.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Bruno Ferreira - Integrante / Joubert de Castro Lima - Coordenador.

  • 2024 - 2025

    Sistema Inteligente de Cadastro e Análise de Crédito Comercial - SICACC, Descrição: Software de cadastro e análise de crédito criado em parceria com a empresa Prodoeste e o Polo de Inovação. O sistema usa Aprendizado de Máquinas e Visão Computacional para auxiliar no processo de concessão de crédito.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (5) . , Integrantes: Bruno Ferreira - Coordenador / Efrem Ferreira - Integrante / Miguel Rivera Peres Júnior - Integrante / Washington Santos da Silva - Integrante., Financiador(es): Associação Brasileira de Pesquisa e Inovação Industrial - Outra.

  • 2004 - 2004

    ET (Emulador TCP/IP) - Emulador para Web das camadas de Interface de Rede e Rede da arquitetura TCP/IP., Descrição: O E.T. (Emulador TCP/IP) tem como objetivo principal emular graficamente o funcionamento de uma rede de computadores TCP/IP. Com o emulador o estudante ou profissional poderá ver como se comporta o protocolo TCP/IP na prática, sem a necessidade de ter todos os equipamentos físicos no local onde está estudando. O professor pode utilizar a ferramenta para expor graficamente conceitos sobre redes, através de uma interface gráfica. O emulador pode ser acessado em www.etcpip.com.br. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) / Especialização: (3) . , Integrantes: Bruno Ferreira - Integrante / Danielle Costa - Integrante / Juvêncio Geraldo de Moura - Integrante / Fernando Henrique Martins Baldance - Integrante / Tomás Dias Sant' Ana - Coordenador., Financiador(es): Fundação de Amparo à Pesquisa do Estado de Minas Gerais - Bolsa.

  • 2003 - 2003

    ArchCollect - Framework para coleta de dados de interações de usuários em páginas Web com HTML e XML dinâmicas e estáticas, Descrição: ArchCollect é uma arquitetura para coleta, transformação, carregamento e apresentação de interações de usuários na WEB.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Bruno Ferreira - Integrante / Joubert de Castro Lima - Coordenador.

Prêmios

2021

Destaque acadêmico no IV Seminário de Pesquisa e Inovação (SemPI) na área de Ciência da Computação, na X Jornada de Educação, Ciência e Tecnologia do IFMG - FERRAMENTA DE MIGRAÇÃO DE DADOS - GRADIENT, IFMG - Instituto Fedeiral de Minas Gerais (Campus Formiga).

Histórico profissional

Endereço profissional

  • Instituto Federal de Educação, Ciência e Tecnologia de Minas Gerais, IFMG. , Rua Padre Alberico, S/N, São Luiz, 35570-000 - Formiga, MG - Brasil, Telefone: (37) 33214094, Fax: (37) 33222330, URL da Homepage:

Experiência profissional

2024 - 2025

Instituto Federal de Educação, Ciência e Tecnologia de Minas Gerais

Vínculo: , Enquadramento Funcional:

2008 - Atual

Instituto Federal Minas Gerais

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

Outras informações:
Disciplinas: Introdução à Programação, Algoritmos, Banco de Dados, Desenvolvimento Web, Paradigmas de Linguagens.

2016 - 2018

Instituto Federal Minas Gerais

Vínculo: Servidor Público, Enquadramento Funcional: Coordenador do Curso de Ciência da Computação, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

  • 12/2008

    Pesquisa e desenvolvimento, Instituto Federal Minas Gerais - Campus Formiga.Linhas de pesquisa

  • 03/2010 - 12/2011

    Ensino,Disciplinas ministradas, Alfabetização Digital - Técnico em Informática - EAD (IFMG - Campus Formiga), Informátaica Aplicada - Técnico em Hospedagem - EAD (IFMG - Campus Ouro Preto), Introdução à Informátaica - Controle Ambiental - EAD (IFMG - Campus Ouro Preto)

  • 03/2010 - 06/2010

    Ensino,Disciplinas ministradas, Banco de Dados I, Linguagem de Programação II (Web)

  • 07/2009 - 12/2009

    Ensino, Sistemas para Internet, Nível: GraduaçãoDisciplinas ministradas, Trabalho Interdisciplinar III, Programação Orientada a Objetos, Linguagem de Programação II, Introdução a Computação

  • 02/2009 - 06/2009

    Ensino, Análise e Desenvolvimento de Sistemas, Nível: GraduaçãoDisciplinas ministradas, Trabalho Interdisciplinar III, Linguagem de Programação I, Análise de Sistemas, Programação Orientada a Objetos

2007 - 2008

Rm Sistemas

Vínculo: Celetista formal, Enquadramento Funcional: Analista de Sistemas, Carga horária: 40

Atividades

  • 04/2007 - 12/2008

    Serviços técnicos especializados , PDE - Pesquisa e desenvolvimento.Serviço realizado, Implementação de Sistemas de Informações; Levantamento de requisitos e regras de negócio, mapeamento de processos e modelagem de dados.

2005 - 2007

Fundação Educacional de Oliveira

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

Atividades

  • 08/2005 - 01/2007

    Ensino, Sistemas de Informação, Nível: GraduaçãoDisciplinas ministradas, Fundamentos e Arquitetura de Computadores, Programação Orientada a Objetos II, Estrutura de Dados I, Introdução a Sistemas Lógicos, Programação Orientada a Objetos I, Tópicos Especiais I, Tópicos Especiais II

2004 - 2004

Centro Universitário do Sul de Minas

Vínculo: Projeto de Pesquisa, Enquadramento Funcional: Pesquisador

2003 - 2003

Centro Universitário de Formiga

Vínculo: Estudante, Enquadramento Funcional: Pesquisador

2001 - 2006

SE Sistemas

Vínculo: Celetista formal, Enquadramento Funcional: Programador, Carga horária: 40, Regime: Dedicação exclusiva.