Fabrício Vivas Andrade

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


Possui Mestrado e Doutorado em Ciência da Computação pela Universidade Federal de Minas Gerais (2005 e 2008, respectivamente), graduação em Engenharia Elétrica pela mesma universidade (2003) e curso Técnico em Eletrônica pelo Centro Federal de Educação Tecnológica de Minas Gerais (1998). Atualmente é professor do Departamento de Computação do Centro Federal de Educação Tecnológica de Minas Gerais. Tem experiência profissional em projetos de Sistemas Embutidos e de Hardware. Atua como pesquisador nas áreas de Arquitetura de Computadores, Verificação Formal, Satisfabilidade, Verificação de Equivalência Combinacional, Simulação, Ferramentas de Implicação Lógica, dentre outros temas. É professor dos cursos: Técnico em Informática, Técnico em Redes de Computadores e Graduação em Engenharia de Computação do Centro Federal de Educação Tecnológica de Minas Gerais. (Texto informado pelo autor)


Identificação


Nome
Fabrício Vivas Andrade
Nome em citações bibliográficas
ANDRADE, Fabrício Vivas;VIVAS, Fabrício;ANDRADE, FABRICIO VIVAS

Endereço


Endereço Profissional
Centro Federal de Educação Tecnológica de Minas Gerais.
Avenida Amazonas - de 5701/5702 a 8999/9000
Gameleira
30510000 - Belo Horizonte, MG - Brasil
Telefone: (31) 33196870
URL da Homepage: http://www.decom.cefetmg.br


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


2005 - 2008
Doutorado em Ciências da Computação.
Universidade Federal de Minas Gerais, UFMG, Brasil.
Título: Contribuições para o Problema de Verificação de Equivalência de Circuitos Combinacionais, Ano de obtenção: 2008.
Orientador: Antônio Otávio Fernandes.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
Palavras-chave: Verificação de Circuito Integrados; Arquitetura de Computadores; Verificação Formal.
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação / Especialidade: Hardware.
2004 - 2005
Mestrado em Ciências da Computação.
Universidade Federal de Minas Gerais, UFMG, Brasil.
Título: Uma arquitetura para verificação de blocos de computação gráfica em hardware,Ano de Obtenção: 2005.
Orientador: Prof Dr. Antônio Otávio Fernandes.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
Palavras-chave: Verificação e Validação; Sistemas Embutidos; Circuitos Integrados; Co-processadores.
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação / Especialidade: Hardware.
Grande Área: Engenharias / Área: Engenharia Elétrica / Subárea: Circuitos Elétricos, Magnéticos e Eletrônicos / Especialidade: Circuitos Eletrônicos.
1999 - 2003
Graduação em Engenharia Elétrica.
Universidade Federal de Minas Gerais, UFMG, Brasil.
1996 - 1998
Curso técnico/profissionalizante.
Centro Federal de Educação Tecnológica de Minas Gerais, CEFET/MG, Brasil.




Atuação Profissional



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

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

Atividades

2/2006 - Atual
Ensino,

Disciplinas ministradas
Eletrônica Geral
Eletrônica Industrial
Microprocessadores
Periféricos
Sistemas Digitais
6/2013 - 5/2015
Direção e administração, Coordenação dos Cursos Técnicos em Informática e Redes de Computadores, .

Cargo ou função
Coordenador dos Cursos Técnicos em Informática e Redes de Computadores.
2/2009 - 12/2012
Ensino, Engenharia de Computação, Nível: Graduação

Disciplinas ministradas
Arquitetura de Computadores I

Brfree, BRFREE, Brasil.
Vínculo institucional

2003 - 2004
Vínculo: Celetista, Enquadramento Funcional: Estagiário, Carga horária: 30

Atividades

9/2003 - 3/2004
Estágios , Brfree, .

Estágio realizado
Desenvolvimento e manutenção de sistemas WEB.

Vtec Soluções Digitais, VTEC, Brasil.
Vínculo institucional

2003 - 2004
Vínculo: Celetista, Enquadramento Funcional: Estagiário, Carga horária: 30

Atividades

6/2003 - 9/2004
Estágios , Vtec Soluções Digitais, .

Estágio realizado
Projeto de sistemas embutidos com dispositivos lógicos programáveis e microcontroladores.

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

2005 - 2006
Vínculo: Livre, Enquadramento Funcional: Bosista de Doutorado, Carga horária: 0

Vínculo institucional

2004 - 2005
Vínculo: Livre, Enquadramento Funcional: Bolsista de Mestrado, Carga horária: 0

Vínculo institucional

2001 - 2002
Vínculo: Livre, Enquadramento Funcional: Bolsista, Carga horária: 20

Vínculo institucional

2000 - 2001
Vínculo: Livre, Enquadramento Funcional: Iniciação Científica - CNPq, Carga horária: 20

Vínculo institucional

1999 - 2000
Vínculo: Livre, Enquadramento Funcional: Iniciação Científica - CNPq, Carga horária: 20

Atividades

8/2005 - 12/2005
Ensino, Ciências da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Introdução a Arquitetura de Computadores - Estágio em Docência (Doutorado)
3/2005 - 7/2005
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Organização de Computadores 2 - Estágio em Docência (Mestrado)
10/2001 - 3/2002
Serviços técnicos especializados , Escola de Engenharia, Departamento de Engenharia de Produção.

Serviço realizado
Projeto de um novo sistema WEB baseado em software livre.


Projetos de pesquisa


2000 - 2001
Ambientes de Ensino e Aprendizagem Colaborativos Baseados na WEB
Descrição: Descrição: O projeto objetiva implementar um ambiente computacional para simulações de comportamento estrutural que permita ao aluno confrontar seu conhecimento prévio com outras realidades de modo a construir novos saberes ou sedimentar novoc conceitos..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Fabrício Vivas Andrade - Integrante / Roque Luiz da Silva Pitangueira - Coordenador / Alunos de graduação - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.
Número de produções C, T & A: 1
1999 - 2000
Desenvolvimento de um robô quadrúpede
Descrição: Participação em projeto de pesquisa de desenvolvimento de um robô quadrúpede. Responsável pelo projeto e implementação do sistema microcontrolado para efetuar o controle de cada uma das juntas do robô..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Fabrício Vivas Andrade - Integrante / Professor José Luís Silvino - Coordenador.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.
Número de produções C, T & A: 1


Projetos de desenvolvimento


2004 - 2006
Ferramenta para Diagnóstico de Falhas em Veículos Automotores
Descrição: O Projeto "Ferramenta para Diagnóstico Automático de Falhas em Veículos Automotores", registrado no CNPQ com o número 550355/03-0, visou a implementação de um ambiente de hardware e software para o diagnóstico de falhas em veículos automotores, dotados de sistemas de diagnóstico embarcado. Durante o projeto foi desenvolvido um scanner automotivo, responsável pela comunicação com as centrais de controle eletrônicas dos veículos. Este dispositivo de hardware e software permite a leitura de dados de um veículo que auxiliam no diagnóstico das falhas dos mesmos. Projeto financiado com recursos do RHAE. ..
Situação: Concluído; Natureza: Desenvolvimento.
Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Fabrício Vivas Andrade - Integrante / Valdeci Pereira Belo - Coordenador.


Áreas de atuação


1.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação/Especialidade: Arquitetura de Sistemas de Computação.
2.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação/Especialidade: Hardware.
3.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação/Especialidade: Software Básico.
4.
Grande área: Engenharias / Área: Engenharia Elétrica / Subárea: Circuitos Elétricos, Magnéticos e Eletrônicos/Especialidade: Circuitos Eletrônicos.


Idiomas


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


Prêmios e títulos


2015
Professor Homenageado do Curso Técnico em Informática Industrial (79º Seminário de Conclusão dos Cursos Técnicos da Educação Profissional e Tecnológica - Maio de 2015), Centro Federal de Educação Tecnológica de Minas Gerais.
2014
Professor Homenageado do Curso Técnico em Informática Industrial (77º Seminário de Conclusão dos Cursos Técnicos da Educação Profissional e Tecnológica - Maio de 2014), Centro Federal de Educação Tecnológica de Minas Gerais.
2012
Professor Homenageado do Curso Técnico em Informática Industrial (73º Seminário de Conclusão dos Cursos Técnicos da Educação Profissional e Tecnológica - Maio de 2012), Centro Federal de Educação Tecnológica de Minas Gerais.
2011
Professor Homenageado do Curso Técnico em Informática Industrial (71º Seminário de Conclusão dos Cursos Técnicos da Educação Profissional e Tecnológica - Maio de 2011), Centro Federal de Educação Tecnológica de Minas Gerais.
2010
Paraninfo de Todos os Formandos e Professor Homenageado do Curso Técnico em Informática Industrial (69o Seminário de Conclusão dos Cursos Técnicos da Educação Profissional e Tecnológica-Maio de 2010), Centro Federal de Educação Tecnológica de Minas Gerais.
2010
Best Papers Award, SBCCI.
2009
Professor Homenageado do Curso Técnico em Informática Industrial (67º Seminário de Conclusão dos Cursos Técnicos da Educação Profissional e Tecnológica - Maio de 2009), Centro Federal de Educação Tecnológica de Minas Gerais.
2009
Professor Homenageado do Curso Técnico em Informática Industrial (68º Seminário de Conclusão dos Cursos Técnicos da Educação Profissional e Tecnológica - Novembro de 2009), Centro Federal de Educação Tecnológica de Minas Gerais.
2008
Professor Homenageado do Curso Técnico em Informática Industrial (66º Seminário de Conclusão dos Cursos Técnicos da Educação Profissional e Tecnológica - Novembro de 2008), Centro Federal de Educação Tecnológica de Minas Gerais.


Produções



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

1.
ARAUJO, MARCIO ROBERTO DIAS2014ARAUJO, MARCIO ROBERTO DIAS ; PADUA, FLAVIO LUIS CARDEAL ; ANDRADE, FABRICIO VIVAS ; CORREA-JUNIOR, FABIO LUCIO . MIPS X-Ray: A MARS Simulator Plug-in for Teaching Computer Architecture. INTERNATIONAL JOURNAL OF RECENT CONTRIBUTIONS FROM ENGINEERING, SCIENCE & IT, v. 2, p. 36, 2014.

2.
Bernardo Cunha Vieira2011 Bernardo Cunha Vieira ; ANDRADE, Fabrício Vivas ; FERNANDES, Antônio O . Framework for Generating Configurable SAT Solvers. JICS. Journal of Integrated Circuits and Systems (Ed. Português), v. 6, p. 50-59, 2011.

Trabalhos completos publicados em anais de congressos
1.
Bernardo Cunha Vieira ; ANDRADE, Fabrício Vivas ; FERNANDES, Antônio O . Modular CNF-based SAT Solver. In: Symposium on Integrated Circuits and Systems, 2010, São Paulo. Proceedings of the Symposium on Integrated Circuits and Systems, 2010. p. 198-203.

2.
ANDRADE, Fabrício Vivas; Silva, Leandro Maia ; FERNANDES, Antônio O . Improving SAT-based Combinational Equivalence Checking through circuit preprocessing. In: IEEE International Conference on Computer Design (ICCD), 2008, Lake Tahoe, CA. Proceedings of the IEEE International Conference on Computer Design (ICCD), 2008. p. 40-45.

3.
ANDRADE, Fabrício Vivas; Silva, Leandro Maia ; FERNANDES, Antônio O . BenCGen - BenCGen: A Digital Circuit Generation Tool for Benchmarks. In: Symposium on Integrated Circuits and Systems, 2008, Gramado. Proceedings of the Symposium on Integrated Circuits and Systems, 2008.

4.
ANDRADE, Fabrício Vivas; Oliveira, Márcia Carolina Marra ; FERNANDES, Antônio O ; COELHO JR, Claudionor José N . SAT-Based Equivalence Checking Based on Circuit Partitioning and Special Approaches for Conflict Clause Reuse. In: IEEE Design and Diagnostics of Electronic Circuits and Systems, 2007, Kraków. Proceedings of the IEEE Workshop on Design and Diagnostics of Electronic Circuits and Systems, 2007.

5.
ANDRADE, Fabrício Vivas; NACIF, José Augusto ; COELHO JR, Claudionor José N ; FERNANDES, Antônio O ; WONG, Hao Chi ; MOREIRA, Luiz Ferando e de ; BARBOSA, Luis Humberto . When Bits are not Bits and bytes are not bytes: Validating Computer Graphics Cores at a Higher Level of Abstraction. In: 6th IEEE Latin American Test and Workshop, 2005, Salvador, 2005.

6.
ANDRADE, Fabrício Vivas; FERNANDES, Antônio O . Uma Arquitetura para Verificação de Blocos de Computação Gráfica em Hardware. In: Workshop de Teses e Dissertações - SIBGRAPI 2005, 2005, Natal, 2005.

7.
PITANGUEIRA, Roque Luiz da S. ; MAIA, Elizabeth V. ; SILVA, Ramon P. da ; CALIXTO, José Marcio F. ; PEREIRA, Sebastião S. R. ; CALDAS, Krishna ; ANDRADE, Fabrício Vivas ; CHAVES, Daniel Teixeira . As Novas Tecnologias Audivisuais e Telemáticas no Ensino de Engenharia de Estruturas. In: INTERTECH 2002 - International Conference on Engineering and Technology Education, 2002, Santos, 2002.

8.
PITANGUEIRA, Roque Luiz da S. ; MAIA, Elizabeth V. ; SILVA, Ramon P. da ; CALIXTO, José Marcio F. ; CALDAS, Krishna ; ANDRADE, Fabrício Vivas ; CHAVES, Daniel Teixeira ; GONTIJO, Pablo . Um Ambiente Gráfico Interativo para Modelamento e Análise Estrutural. In: COBEM 2001 - Congresso Brasileiro de Engenharia Mecânica, 2001, Uberlândia, 2001.

Resumos publicados em anais de congressos
1.
ANDRADE, Fabrício Vivas; PITANGUEIRA, Roque Luiz da S. ; CALDAS, Krishna ; CHAVES, Daniel Teixeira ; MOL, F . IDEAGP - Um Pacote Gráfico Orientado a Objetos. In: X Semana de Iniciação Científica, 2002, Belo Horizonte, 2002.

2.
CHAVES, Daniel Teixeira ; ANDRADE, Fabrício Vivas ; CALIXTO, José Marcio F. ; MOL, F ; CALDAS, Krishna ; SILVA, Ramon P. da ; PITANGUEIRA, Roque Luiz da S. ; MAIA, Elizabeth V. . IDEA SIMULATOR - MODELLING ENVIRONMENT. In: X Semana de Iniciação Científica, 2002, Belo Horizonte, 2001.

3.
ANDRADE, Fabrício Vivas; SILVINO, José Luís . Hardware e Protocolo para Implementação de um Robô Quadrúpede. In: IX Semana de Iniciação Científica, 2000.

Apresentações de Trabalho
1.
ANDRADE, Fabrício Vivas. Princípios de desenvolvimento de Sistemas Embutidos: Hardware e Software. 2006. (Apresentação de Trabalho/Conferência ou palestra).

Outras produções bibliográficas
1.
ANDRADE, Fabrício Vivas; SILVINO, José Luís . Estudo comparativo das arquiteturas dos microcontroladores Scenix e Pic. Belo Horizonte 2003 (Relatório Final de Estágio).



Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
FERNANDES, Antônio O; ANDRADE, Fabrício Vivas. Participação em banca de Bernardo Cunha Vieira. Resolvedor Modular de Satisfabilidade Aplicado na Verificação de Circuitos Combinacionais. 2010. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

Monografias de cursos de aperfeiçoamento/especialização
1.
ANDRADE, Fabrício Vivas. Participação em banca de Rodrigo Valério Magalhães.. Uma Ferramenta para Derivação de Implicações Estáticas em Circuitos Combinacionais.. 2008 - Universidade Federal de Minas Gerais.

Trabalhos de conclusão de curso de graduação
1.
ANDRADE, Fabrício Vivas; Silva, Leandro Maia; CHAVES, Jeferson F.. Participação em banca de Cláudio Campanha Felix..Uma ferramenta para a geração de circuitos parametrizados para benchmarks. 2016 - Centro Federal de Educação Tecnológica de Minas Gerais.

2.
ANDRADE, Fabrício Vivas; Silva, Leandro Maia; CHAVES, Jeferson F.. Participação em banca de Matheus Nogueira Fonseca.Pré-processamento em Instâncias de Verificação de Equivalência de Circuitos. 2016. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Centro Federal de Educação Tecnológica de Minas Gerais.

3.
ANDRADE, Fabrício Vivas; Silva, Leandro Maia; COUTINHO, F. R. S.. Participação em banca de Giovander Barrozo Marsaglia.Sistema de Segurança de Baixo Custo Contra Perda de Animais de Estimação. 2016. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Centro Federal de Educação Tecnológica de Minas Gerais.

4.
SOUZA, J. K. S.; CHAVES, Jeferson F.; ANDRADE, Fabrício Vivas; PINTO, M. A. S.. Participação em banca de Guilherme Seminotti Braga.Implementação do processador LR35902 em FPGA: uma abordagem utilizando verificação formal. 2015. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Centro Federal de Educação Tecnológica de Minas Gerais.

5.
ANDRADE, Fabrício Vivas; Silva, Leandro Maia; CHAVES, Jeferson F.. Participação em banca de Pedro Henrique Souza Rosa da Silva.Rastreador Veicular de Baixo Custo. 2013. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Centro Federal de Educação Tecnológica de Minas Gerais.

6.
ANDRADE, Fabrício Vivas; Silva, Leandro Maia; CHAVES, Jeferson F.. Participação em banca de Tulio Fernandes de Oliveira.Análise das Heurísticas para Resolvedores SAT Aplicado a Circuitos Combinacionais. 2013. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Centro Federal de Educação Tecnológica de Minas Gerais.

7.
ANDRADE, Fabrício Vivas; Silva, Leandro Maia; CHAVES, Jeferson F.. Participação em banca de Marcus Vinícius da Mata Gomes.Y86-Async: Uma Versão Assíncrona do Microprocessador Y86. 2013. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Centro Federal de Educação Tecnológica de Minas Gerais.

8.
PADUA, F. L. C.; ANDRADE, Fabrício Vivas. Participação em banca de Renato Ferreira Lima e Correa Pereira.Contagem de Pessoas em Tempo Real Baseada em Análise de Imagens Utilizando Dispositivos Móveis. 2012.



Participação em bancas de comissões julgadoras
Concurso público
1.
GROSSI, Gilmar M.; ANDRADE, Fabrício Vivas; FERREIRA, M. F. T.. Comissão Examinadora para Seleção de Professor Temporário/Substituto, referente ao Edital Nº 072 de 3 de junho de 2016, para as áreas de Laboratório de Organização e Manutenção de Computadores, Programação de Computadores I, Laboratório de Programação de Computadores I, Programação de Computadores II, Laboratório de Programação de Computadores II. 2016. Centro Federal de Educação Tecnológica de Minas Gerais.

2.
ANDRADE, Fabrício Vivas; JESUS, T. A.; VIEIRA, M. A. M.. Comissão Examinadora para Seleção de Professor Efetivo, referente ao Edital Nº 113 de 2015, para a área de Sistemas Embarcados. 2015. Centro Federal de Educação Tecnológica de Minas Gerais.

3.
ANDRADE, Fabrício Vivas; GOMES, R. M.; PORTO, A. J.. Comissão Examinadora para Seleção de Professor Efetivo, referente ao Edital Nº 047 de 2014, para as áreas de Sistemas Embarcados e Eletrônica. 2014. Centro Federal de Educação Tecnológica de Minas Gerais.

4.
GOMES, R. M.; ANDRADE, Fabrício Vivas; SOUZA, J. K. S.. Comissão Examinadora para Seleção de Professor Efetivo, referente ao Edital Nº 047 de 2014, para a área de Arquitetura e Organização de Computadores. 2014. Centro Federal de Educação Tecnológica de Minas Gerais.

5.
VIVAS, Fabrício; MURTA, Cristina Duarte; FERREIRA, Kécia A. M.. Comissão Examinadora para Seleção de Professor Temporário/Substituto, referente ao Edital Nº 061 de 20 de maio de 2013, para as áreas de Arquitetura e Organização de Computadores II, Laboratório de Arquitetura e Organização de Computadores II e Sistemas Distribuídos.. 2013. Centro Federal de Educação Tecnológica de Minas Gerais.

6.
ANDRADE, Fabrício Vivas; CHAVES, Jeferson F.; BARBOSA, Renato J. S.. Comissão Examinadora para Seleção de Professor Temporário/Substituto, referente ao Edital Nº 119 de 05 de agosto de 2013, para as áreas de Programação de Computadores I, Laboratório de Programação de Computadores I, Arquitetura e Sistemas Digitais e Sistemas Digitais para Computação.. 2013. Centro Federal de Educação Tecnológica de Minas Gerais.

7.
ANDRADE, Fabrício Vivas; CHAVES, Jeferson F.; BARBOSA, Renato J. S.. Comissão Examinadora para Seleção de Professor Temporário/Substituto, referente ao Edital Nº 155 de 10 de setembro de 2013, para as áreas de Arquitetura e Sistemas Digitais, Sistemas Digitais para Computação.. 2013. Centro Federal de Educação Tecnológica de Minas Gerais.

8.
ANDRADE, Fabrício Vivas; CHAVES, Jeferson F.; FERREIRA, Kécia A. M.. Comissão Examinadora para Seleção de Professor Efetivo, referente ao Edital Nº 077 de 2013, para as áreas de Arquitetura e Organização de Computadores. 2013. Portaria 583/2013. 2013. Centro Federal de Educação Tecnológica de Minas Gerais.

9.
ANDRADE, Fabrício Vivas; CHAVES, Jeferson F.; FERREIRA, Kécia A. M.. Comissão Examinadora para Seleção de Professor Efetivo, referente ao Edital Nº 077 de 2013, para as áreas de Arquitetura e Organização de Computadores. 2013. Portaria 709/2013. 2013. Centro Federal de Educação Tecnológica de Minas Gerais.

10.
ANDRADE, Fabrício Vivas; SILVA, Adelson de Paula; MURTA, Cristina Duarte. Comissão Examinadora para Seleção de Professor Temporário/Substituto, Edital nº 033, de 01 de abril de 2013. Princípios de Comunicação de Dados; Sistemas Digitais; Laboratório de Sistemas Digitais; Arquitetura e Organização de Computores II. 2013. Centro Federal de Educação Tecnológica de Minas Gerais.

11.
ANDRADE, Fabrício Vivas; BARBOSA, Renato J. S.; FERREIRA, Kécia A. M.. Comissão Examinadora para Seleção de Professor Temporário/Substituto, referente ao Edital Nº 102, de 09 de novembro de 2012, para as áreas de Arquitetura e Organização de Computadores I, Organização e Manutenção de Computadores, Laboratório de Arquitetura e Organização de Computadores I.. 2012. Centro Federal de Educação Tecnológica de Minas Gerais.

12.
ANDRADE, Fabrício Vivas; CHAVES, Jeferson F.; SANTOS, B. A.. Comissão Examinadora para Seleção de Professor Temporário/Substituto, referente ao Edital Nº 102, de 09 de novembro de 2012, para as áreas de Organização e Manutenção deComputadores; Arquitetura e Organização de Computadores II, Sistemas Distribuídos. 2012. Centro Federal de Educação Tecnológica de Minas Gerais.

13.
ANDRADE, Fabrício Vivas; CHAVES, Jeferson F.; BARBOSA, Renato J. S.. Comissão Examinadora para Seleção de Professor Temporário/Substituto, referente ao Nº 138, de 09 de Dezembro de 2010, para as áreas de Sistemas Digitais, Laboratório de Organização e Manutenção de Computadores. 2010. Centro Federal de Educação Tecnológica de Minas Gerais.

14.
ANDRADE, Fabrício Vivas; CHAVES, Jeferson F.; GROSSI, Gilmar M.. Comissão Examinadora para Seleção de Professor Temporário/Substituto, referente ao Nº 23 de 09 de março de 2010, para as áreas de Sistemas Periféricos, Arquitetura de Computadores e Laboratório de Arquitetura de Computadores. 2010. Centro Federal de Educação Tecnológica de Minas Gerais.

15.
ANDRADE, Fabrício Vivas; MURTA, Cristina Duarte; BOTELHO, Fabiano Cupertino. Comissão Examinadora para Seleção de Professor Temporário/Substituto, referente ao Edital Nº 058 de 26 de maio de 2009, para as áreas de Arquitetura de Computadores I e Sistemas Periféricos.. 2009. Centro Federal de Educação Tecnológica de Minas Gerais.

16.
ANDRADE, Fabrício Vivas; CHAVES, Jeferson F.; GROSSI, Gilmar M.. Comissão Examinadora para Seleção de Professor Temporário/Substituto, referente ao Nº 119 de 05 de novembro de 2009, para as áreas de Sistemas Periféricos, Arquitetura de Computadores e Laboratório de Arquitetura de Computadores.. 2009. Centro Federal de Educação Tecnológica de Minas Gerais.

17.
ANDRADE, Fabrício Vivas. Comissão Examinadora para Seleção de Professor Efetivo, referente ao Edital nº 108 de 14 de outubro de 2008 para as áreas de Hardware e Sistemas Operacionais. 2008. Centro Federal de Educação Tecnológica de Minas Gerais.

18.
SILVA, Adelson de Paula; ANDRADE, Fabrício Vivas; Amaral, Macos Prado. Comissão Examinadora para Seleção de Professor Temporário/Substituto, referente ao Edital Nº 129 de 19 de novembro de 2008, para a área de Princípios de Comunicação de Dados. 2008. Centro Federal de Educação Tecnológica de Minas Gerais.

19.
SILVA, Adelson de Paula; ANDRADE, Fabrício Vivas; GROSSI, Gilmar M.. Comissão Examinadora para Seleção de Professor Temporário/Substituto, referente ao Edital Nº 59 de 30 de junho de 2008, para as áreas de Arquitetura e Organização de Computadores II. 2008. Centro Federal de Educação Tecnológica de Minas Gerais.

20.
SILVA, Adelson de Paula; ANDRADE, Fabrício Vivas; GROSSI, Gilmar M.. Comissão Examinadora para Seleção de Professor Temporário/Substituto, referente ao Edital Nº 18 de 26 de fevereiro de 2008, para as áreas de Arquitetura e Organização de Computadores I (nível superior) Periféricos(nível médio). 2008.. 2008. Centro Federal de Educação Tecnológica de Minas Gerais.

21.
SILVA, Adelson de Paula; ANDRADE, Fabrício Vivas; GROSSI, Gilmar M.. Comissão Examinadora para Seleção de Professor Temporário/Substituto, referente ao Edital Nº 12 de 12 de fevereiro de 2008, para as áreas de Arquitetura e Organização de Computadores I (nível superior) Periféricos(nível médio). 2008. Centro Federal de Educação Tecnológica de Minas Gerais.

Outras participações
1.
ANDRADE, Fabrício Vivas. Comissão Examinadora para Seleção de Projetos para a Incubadora de Empresas do CEFET-MG Edital 83/2011. 2011. Centro Federal de Educação Tecnológica de Minas Gerais.



Eventos



Participação em eventos, congressos, exposições e feiras
1.
IEEE International Conference on Computer Design (ICCD). Improving SAT-based Combinational Equivalence Checking through circuit preprocessing. 2008. (Congresso).

2.
6TH IEEE Latin American Test and Workshop. 6TH IEEE Latin American Test and Workshop. 2005. (Congresso).

3.
X SEMANA DE INICIAÇÃO CIENTÍFICA DA UFMG.X SEMANA DE INICIAÇÃO CIENTÍFICA,. 2001. (Outra).

4.
IX SEMANA DE INICIAÇÃO CIENTÍFICA DA UFMG.IX SEMANA DE INICIAÇÃO CIENTÍFICA. 2000. (Outra).



Orientações



Orientações e supervisões em andamento
Tese de doutorado
1.
Leandro Maia Silva. Arquitetura para a Verificação Formal Integrada de Circuitos Aritméticos. Início: 2015. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais. (Coorientador).


Orientações e supervisões concluídas
Dissertação de mestrado
1.
Bernardo Cunha Vieira. Resolvedor Modular de Satisfabilidade Aplicado na Verificação de Circuitos Combinacionais. 2010. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, . Coorientador: Fabrício Vivas Andrade.

Monografia de conclusão de curso de aperfeiçoamento/especialização
1.
Rodrigo Valério Magalhães. Uma Ferramenta para Derivação de Implicações Estáticas em Circuitos Combinacionais. 2008. Monografia. (Aperfeiçoamento/Especialização em Especialização em Projetos de Circuitos Integrados) - Universidade Federal de Minas Gerais. Orientador: Fabrício Vivas Andrade.

Trabalho de conclusão de curso de graduação
1.
Cláudio Campanha Felix. Uma ferramenta para a geração de circuitos parametrizados para benchmarks. 2016. Trabalho de Conclusão de Curso. (Graduação em Engenharia de Computação) - Centro Federal de Educação Tecnológica de Minas Gerais. Orientador: Fabrício Vivas Andrade.

2.
Matheus Nogueira Fonseca. Pré-processamento em Instâncias de Verificação de Equivalência de Circuitos. 2016. Trabalho de Conclusão de Curso. (Graduação em Engenharia de Computação) - Centro Federal de Educação Tecnológica de Minas Gerais. Orientador: Fabrício Vivas Andrade.

3.
Giovander Barrozo Marsaglia. Sistema de Segurança de Baixo Custo Contra Perda de Animais de Estimação. 2016. Trabalho de Conclusão de Curso. (Graduação em Engenharia de Computação) - Centro Federal de Educação Tecnológica de Minas Gerais. Orientador: Fabrício Vivas Andrade.

4.
Pedro Henrique Souza Rosa da Silva. Rastreador Veicular de Baixo Custo. 2013. Trabalho de Conclusão de Curso. (Graduação em Engenharia de Computação) - Centro Federal de Educação Tecnológica de Minas Gerais. Orientador: Fabrício Vivas Andrade.

5.
Marcus Vinícius da Mata Gomes. Y86-Async: Uma Versão Assíncrona do Microprocessador Y86. 2013. Trabalho de Conclusão de Curso. (Graduação em Engenharia de Computação) - Centro Federal de Educação Tecnológica de Minas Gerais. Orientador: Fabrício Vivas Andrade.

6.
Tulio Fernandes de Oliveira. Análise das Heurísticas para Resolvedores SAT Aplicado a Circuitos Combinacionais. 2013. Trabalho de Conclusão de Curso. (Graduação em Engenharia de Computação) - Centro Federal de Educação Tecnológica de Minas Gerais. Orientador: Fabrício Vivas Andrade.




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