Bruno Ferreira

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


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). (Texto informado pelo autor)


Identificação


Nome
Bruno Ferreira
Nome em citações bibliográficas
FERREIRA, B.;Ferreira, Bruno

Endereço


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: www.formiga.ifmg.edu.br


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


2010 - 2016
Doutorado em Ciências da Computação.
Universidade Federal de Minas Gerais, UFMG, Brasil.
Título: Verification of Vehicular Networks Using Probabilistic Model Checking, Ano de obtenção: 2016.
Orientador: 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 Terra
Grande Á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.
2006 - 2008
Mestrado em Modelagem Matemática e Computacional.
Centro Federal de Educação Tecnológica de Minas Gerais, CEFET/MG, Brasil.
Título: Uma Técnica para Validação de Processos de Desenvolvimento de Software,Ano de Obtenção: 2008.
Orientador: Gray Farias Moita.
Palavras-chave: Verificação & Validação; Validação de Processos de Software.
Grande área: Ciências Exatas e da Terra
2004 - 2004
Especialização em Redes de Computadores. (Carga Horária: 360h).
Centro Universitário do Sul de Minas, UNIS/MG, Brasil.
Título: Emulador para Web das camadas de Interface de Rede e Rede da arquitetura TCP/IP..
Orientador: Tomás Dias Sant' Ana.
2000 - 2003
Graduação em Ciencia da Computação.
Centro Universitário de Formiga, FUOM, Brasil.
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


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.


Atuação Profissional



Instituto Federal Minas Gerais, IFMG, Brasil.
Vínculo institucional

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

Vínculo institucional

2016 - 2018
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 - Atual
Pesquisa e desenvolvimento , Instituto Federal Minas Gerais - Campus Formiga, .

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ção

Disciplinas 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ção

Disciplinas ministradas
Trabalho Interdisciplinar III
Linguagem de Programação I
Análise de Sistemas
Programação Orientada a Objetos

RM Sistemas, RM, Brasil.
Vínculo institucional

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

Atividades

4/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.

Fundação Educacional de Oliveira, FEOL, Brasil.
Vínculo institucional

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

Atividades

08/2005 - 01/2007
Ensino, Sistemas de Informação, Nível: Graduação

Disciplinas 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

Centro Universitário do Sul de Minas, UNIS/MG, Brasil.
Vínculo institucional

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


Centro Universitário de Formiga, FUOM, Brasil.
Vínculo institucional

2003 - 2003
Vínculo: Estudante, Enquadramento Funcional: Pesquisador


SE Sistemas, SESIS, Brasil.
Vínculo institucional

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



Linhas de pesquisa


1.
Métodos Formais
2.
Linguagens de Programação
3.
Engenharia de Software


Projetos de pesquisa


2018 - Atual
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: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (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.
2017 - Atual
Sistema de Baixo Custo para monitoramento de entregas/veículos em tempo real
Situação: Em andamento; 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 extensão


2017 - 2018
Elaboração de Portfólio de Serviços de uma Empresa Júnior Multicursos com a Utilização da Metodologia de Design de Proposta de Valor
Descrição: Projeto destinado a criação de uma Empresa Júnior para o IFMG - Campus Formiga afim de prestar serviços especializados a comunidade. O projeto envolve trabalhos na área de Administração de empresas, Engenharia e Computação.
Situação: Concluído; Natureza: Extensão.
Alunos envolvidos: Graduação: (1) .
Integrantes: Bruno Ferreira - Coordenador / Igor Antônio Pedroso - Integrante / Miguel Rivera Peres Júnior - Integrante.Financiador(es): Instituto Federal Minas Gerais - Bolsa.
2016 - 2017
Sistema de Controle para Associações de Assistiência a Menores
Descrição: O projeto visa desenvolver um sistema de informação para gerenciar empresas com cunho assistencialista e sem fins lucrativos..
Situação: Concluído; Natureza: Extensão.
Alunos envolvidos: Graduação: (2) .
Integrantes: Bruno Ferreira - Coordenador / Bruno Eustáquio Enes - Integrante / Vinícius Alves de Araújo - Integrante.Financiador(es): Instituto Federal Minas Gerais - Bolsa.


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.


Á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: Linguagens de Programação.
2.
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.
3.
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.


Idiomas


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


Produções



Produção bibliográfica
Trabalhos completos publicados em anais de congressos
1.
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.

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

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

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

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

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

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

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

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

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

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

Resumos expandidos publicados em anais de congressos
1.
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.

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

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

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

Resumos publicados em anais de congressos
1.
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.

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

Artigos aceitos para publicação
1.
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.

Apresentações de Trabalho
1.
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).

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

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

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

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


Produção técnica
Assessoria e consultoria
1.
FERREIRA, B.. Consultoria de tecnologia e inovação. 2017.

Trabalhos técnicos

Demais tipos de produção técnica
1.
Ferreira, Bruno. Criação de Jogos 2D em Java. 2016. (Curso de curta duração ministrado/Extensão).



Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
MOITA, G. F.; DIAS, T. M. R.; MENEZES, G. C.; FERREIRA, B.. Participação em banca de Tales Henrique José Moreira. 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.

Trabalhos de conclusão de curso de graduação
1.
NASCIMENTO, E. S.; FERREIRA, B.; LIMA, F. P.; OLIVEIRA, P. M.. Participação em banca de Eduardo Simões Nascimento.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.

2.
ALMEIDA, R. D.; OLIVEIRA, P. M.; FERREIRA, B.; LIMA, F. P.. Participação em banca de Rodrigo de Deus Almeida.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.

3.
SANTOS, E. V.; FERREIRA, B.; SILVA, D. M.. Participação em banca de Sávio Cardoso Caetano.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.

4.
CHAVES, R.; TRINDADE, A. R.; FERREIRA, B.. Participação em banca de Rosiane Chaves.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.

5.
FERREIRA, B.. Participação em banca de Eduardo Henrique neto.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.

6.
FERREIRA, B.. Participação em banca de Grasiele Mara Moreira Resende.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.

7.
FERREIRA, B.. Participação em banca de Ení Berbert Camilo Contaifer.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.

8.
FERREIRA, B.. Participação em banca de Adriano Henrique Alves Silveira.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.

9.
FERREIRA, B.. Participação em banca de Jonatas Silva Ribeiro.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.

10.
FERREIRA, B.. Participação em banca de Raquel Veloso Rocha Soares.Software para gerenciamento de Financeiras. 2006. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Fundação Educacional de Oliveira.

11.
FERREIRA, B.. Participação em banca de 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.

12.
FERREIRA, B.. Participação em banca de 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.



Participação em bancas de comissões julgadoras
Concurso público
1.
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.

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

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

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

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

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

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



Eventos



Participação em eventos, congressos, exposições e feiras
1.
FrontInBH. 2017. (Seminário).

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

3.
JavaOne. 2016. (Congresso).

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

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

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

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

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

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

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

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

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

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


Organização de eventos, congressos, exposições e feiras
1.
FERREIRA, B.. VIII Jornada de Educação, Ciência e Tecnologia (JECT) do IFMG ? Campus Formiga. 2018. (Outro).

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

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



Orientações



Orientações e supervisões concluídas
Trabalho de conclusão de curso de graduação
1.
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.

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

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

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

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

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

Orientações de outra natureza
1.
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.

2.
Ana Carolina da Cruz. Estágio não obrigatório - SE Sistemas Ltda. 2016. Orientação de outra natureza - SE Sistemas. Orientador: Bruno Ferreira.

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

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



Inovação



Projetos de pesquisa


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



Apresentações de Trabalho
1.
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).

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


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




Página gerada pelo Sistema Currículo Lattes em 16/10/2018 às 2:42:23