Diretório de grupos de pesquisa |
Fabrício Vivas Andrade 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 areas 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. Possui 5 publicações de artigos completos em conferências internacionais, 2 publicações de artigos completos em conferências nacionais e 3 publicações de resumos; e 1 períodico internacional.
Última
atualização do currículo em 27/12/2011
Endereço para acessar este CV: http://lattes.cnpq.br/9269969329502715 |
Dados pessoais
| Nome | Fabrício Vivas Andrade |
| Nome em citações bibliográficas | ANDRADE, Fabrício Vivas; VIVAS, Fabrício |
| Sexo | Masculino |
| Endereço profissional | Universidade Federal de Minas Gerais, Instituto de Ciências Exatas, Departamento de Ciência da Computação. Av. Antônio Carlos 6627 - ICEX - DCC - LECOM sala 3025 Pampulha 31270-010 - Belo Horizonte, MG - Brasil Telefone: (31) 34995839 URL da Homepage: http://www.dcc.ufmg.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 . Palavras-chave: Verificação de Circuito Integrados; Arquitetura de Computadores; Verificação Formal. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação / Especialidade: Arquitetura de Sistemas de Computação. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: 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 . Palavras-chave: Verificação e Validação; Sistemas Embutidos; Circuitos Integrados; Co-processadores. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação / Especialidade: Arquitetura de Sistemas de Computação. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: 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/2009 - Atual | Ensino, Engenharia de Computação, Nível: Graduação. |
| Disciplinas ministradas Arquitetura de Computadores I |
| 2/2006 - Atual | Ensino, Nível: Outro. |
| Disciplinas ministradas Eletrônica Geral Eletrônica Industrial Microprocessadores Periféricos Sistemas Digitais |
| 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 . |
|
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 . |
|
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 |
| 3/2004 - 2/2006 | Atividades de Participação em Projeto, Instituto de Ciências Exatas, Departamento de Ciência da Computação. |
|
Projetos de pesquisa Ferramenta para Diagnóstico de Falhas em Veículos Automotores |
| 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. |
| 8/2000 - 9/2001 | Atividades de Participação em Projeto, Escola de Engenharia, Departamento de Engenharia de Estruturas. |
|
Projetos de pesquisa Ambientes de Ensino e Aprendizagem Colaborativos Baseados na WEB |
| 4/1999 - 7/2000 | Atividades de Participação em Projeto, Escola de Engenharia, Departamento de Engenharia Elétrica. |
|
Projetos de pesquisa Desenvolvimento de um robô quadrúpede |
Projetos de Pesquisa
| 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 profissionalizante ( 0) / Doutorado ( 0) . Integrantes: Valdeci Pereira Belo - Coordenador / Fabrício Vivas Andrade - Integrante. . |
| 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 profissionalizante ( 0) / Doutorado ( 0) . Integrantes: Roque Luiz da Silva Pitangueira - Coordenador / Alunos de graduação - Integrante / Fabrício Vivas Andrade - 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 profissionalizante ( 0) / Doutorado ( 0) . Integrantes: Professor José Luís Silvino - Coordenador / Fabrício Vivas Andrade - Integrante. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa. Número de produções C, T & A: 1. |
Á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
| 2011 | Professor Homenageado do Curso Técnico em Informática Industrial (71o 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 (67o 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 (68o 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 (66o 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ção em C,T & A
| Produção bibliográfica |
| Artigos completos publicados em periódicos |
| 1. |  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 . 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. |
| 3. | 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. |
| 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. |
| Demais tipos de produção bibliográfica |
| 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 comissões julgadoras |
| Concurso público |
| 1. | ANDRADE, Fabrício Vivas. Banca para seleção de professor substituto para a disciplina de Organização e Arquitetura de Computadores I. 2008. Centro Federal de Educação Tecnológica de Minas Gerais. |
| 2. | ANDRADE, Fabrício Vivas. Banca para seleção de professor substituto para a disciplina de Principios de Comunicação de DadosCentro Federal de Educação Tecnológica de Minas Gerais.. 2008. Centro Federal de Educação Tecnológica de Minas Gerais. |
| 3. | ANDRADE, Fabrício Vivas. Banca para seleção de professor efetivo para as areas de Hardware e Sistemas Operacionais. 2008. Centro Federal de Educação Tecnológica de Minas Gerais. |
Eventos
| Participação em eventos |
| 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
| Supervisões e orientaçõ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, . Co-Orientador: 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. |
| Página gerada pelo Sistema Currículo Lattes em 11/02/2012 às 3:10:47 |