Alair Dias Júnior

2013 - 2014

Pós-Doutorado. , École Polytechnique Fédérale de Lausanne, EPFL, Suiça. , Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. , Grande área: Engenharias, Grande Área: Engenharias / Área: Engenharia Elétrica / Subárea: Engenharia de Computação. , Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação.

Inglês

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

Espanhol

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

Português

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

Francês

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

Grande área: Engenharias / Área: Engenharia Elétrica / Subárea: Sistemas Embutidos.

Grande área: Engenharias / Área: Engenharia Elétrica / Subárea: Sistemas de Computação Integrados.

Grande área: Engenharias / Área: Engenharia Elétrica / Subárea: Internet das Coisas.

Grande área: Engenharias / Área: Engenharia Elétrica / Subárea: Sistemas VLSI.

Grande área: Engenharias / Área: Engenharia Elétrica / Subárea: Programação.

Grande área: Engenharias / Área: Engenharia Elétrica / Subárea: Engenharia Elétrica.

2013 IEEE Computer Society Annual Symposium on VLSI (ISVLSI).Using Guiding Heuristics to Improve the Dynamic Checking of Temporal Properties in Data Dominated High-Level Designs. 2013. (Simpósio).

LATW2012 - 13th Latin American Test Workshop. A Guiding Heuristic for the Semi-Formal Verification of High-Level Designs. 2012. (Congresso).

VII Encontro Nacional do Fórum de Extensão das IES Particulares. 2012. (Encontro).

XIII Encontro Nacional de Pós-Graduação e Pesquisa das IES. 2012. (Encontro).

PhD Forum of the 17th IFIP/IEEE International Conference on Very Large Scale Integration - VLSI-SoC. Complemental Testing - A Novel Approach for High Level Test Data Generation. 2009. (Congresso).

Palestra sobre Propriedade Intelectual. 2008. (Outra).

IEEE Computer Society Annual Symposium on VLSI.Code-coverage Based Test Vector Generation for SystemC Designs. 2007. (Simpósio).

I Latin American SystemC I Latin American SystemC Users Group Meeting.Code-coverage Based Methodology for Test Vector Generation. 2007. (Encontro).

XII Jornadas de Jovens Pesquisadores da AUGM.FlexRNA: Arquitetura Flexível para Desenvolvimento de Redes Neurais Artificiais em Hardware. 2004. (Encontro).

PARREIRAS, Fernando Silva; SILVA, J. T. M.;DIAS JUNIOR, ALAIR. A long-term energy efficiency prediction model for the Brazilian automotive industry. 2017. Dissertação (Mestrado em Sistemas de Informação e Gestão do Conhecimento) - Universidade FUMEC.

MARQUES, R. M.; MAIA, L. C. G.; GOMES, O.A.;DIAS JUNIOR, ALAIR. Análise de soluções abertas de gerenciamento de redes em relação ao modelo FCAPS de gerenciamento de redes. 2017. Dissertação (Mestrado em Sistemas de Informação e Gestão do Conhecimento) - Universidade FUMEC.

GOMES, O.A.; PARREIRAS, Fernando Silva;DIAS JUNIOR, ALAIR. Predição de Links em Redes Sociais Acadêmicas: uma análise da influência das características da rede na precisão dos algoritmos baseados na topologia. 2017. Dissertação (Mestrado em Sistemas de Informação e Gestão do Conhecimento) - Universidade FUMEC.

VASCONCELOS, F. H.; MOTA, H. O.;DIAS JUNIOR, ALAIR. Aplicação de Rede de Sensores Sem Fio para a Análise do Movimento Humano. 2017. Dissertação (Mestrado em Programa de Pós-Graduação em Engenharia Elétrica) - Universidade Federal de Minas Gerais.

MAIA, L. C. G.;DIAS JÚNIOR, Alair; LIMA, G. A. B.. Proposta de modelo de recomendação de conteúdo baseado em arquivos de legendas de filmes e séries. 2016. Dissertação (Mestrado em Sistemas de Informação e Gestão do Conhecimento) - Universidade FUMEC.

MARQUES, R. M.; MARTINS, H. C.; MAIA, - Luiz Cláudio Gomes;JÚNIOR, ALAIR DIAS. Análise de Vulnerabilidades e Ameaças Presentes em REdes Wi-Fi (IEEE 802.11) de Instituições de Ensino Superior de Minas Gerais. 2016. Dissertação (Mestrado em Sistemas de Informação e Gestão do Conhecimento) - Universidade FUMEC.

DIAS JÚNIOR, Alair; OLIVEIRA, Júlia Epischina Engrácia; GOMIDE, J. V. B.; MARTINS, Henrique Resende. Evaluation of Face Recognition Technologies for Access Authentication in Automotive Passive Entry Systems with Near Infrared Camera. 2016. Dissertação (Mestrado em Sistemas de Informação e Gestão do Conhecimento) - Universidade FUMEC.

GOMIDE, J. V. B.; MAGALHÃES, A. L. C. C.;DIAS JÚNIOR, Alair. Matchmoving e Técnicas de Rastreamento de Câmera para Produções Audiovisuais. 2016. Dissertação (Mestrado em Sistemas de Informação e Gestão do Conhecimento) - Universidade FUMEC.

DA SILVA JUNIOR, DIOGENES C.; SILL TORRES, F.; FERNANDES, A. O.;DIAS JÚNIOR, ALAIR. The Alchemy Of Reconfigurability: design and verification of a reconfigurable processor architecture. 2015. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Minas Gerais.

OLIVEIRA, L.C.V.; MUYLDER, C. F.;DIAS JÚNIOR, ALAIR; MORIGUCHI, S.N.. Inovação, redes e marca: a influência da Fórmula 1 e o impacto na decisão de compra entre duas montadores de automóveis no Brasil. 2015. Dissertação (Mestrado em Administração) - Universidade FUMEC.

MARQUES, R. M.; MAIA, - Luiz Cláudio Gomes;DIAS JÚNIOR, ALAIR; SONG, M.A.J.. Análise de eficiência na detecção de vulnerabilidades em ambientes web com uso de ferramentas de código aberto. 2015. Dissertação (Mestrado em Sistemas de Informação e Gestão do Conhecimento) - Universidade FUMEC.

GOMES, O.A.; PARREIRAS, Fernando Silva;DIAS JÚNIOR, Alair; MATTOS, M.C.. Predição de Links e a Teoria da Evolução Espectral: um Estudo da Viabilidade e Utilização em Sub-Redes de Coautoria da Plataforma Lattes. 2015. Dissertação (Mestrado em Sistemas de Informação e Gestão do Conhecimento) - Universidade FUMEC.

MAIA, L. C. G.; ZIVIANI, F.;DIAS JÚNIOR, Alair. Os desafios para desenvolvimento local sustentável do município de Rubiataba - GO. 2014. Dissertação (Mestrado em Mestrado Profissional em Administração) - FEAD.

SILVA JUNIOR, D. C.; NOGUEIRA, J. M.; CERQUEIRA, E. C.; CORREIA, L. H. A.;DIAS JUNIOR, ALAIR. Um Protocolo Cross-layer para Redes Corporais Sem Fio Considerando Dispositivos com Taxas de Dados Variáveis. 2017. Exame de qualificação (Doutorando em Programa de Pós-Graduação em Engenharia Elétrica) - Universidade Federal de Minas Gerais.

SILVA JUNIOR, D. C.;DIAS JÚNIOR, Alair; NOGUEIRA, J. M.. Algoritmo de Roteamento para Comunicação D2D em Sistemas de Segurança Pública sobre Redes LTE Avançadas (LTE-A). 2016. Exame de qualificação (Doutorando em Programa de Pós-Graduação em Engenharia Elétrica) - Universidade Federal de Minas Gerais.

MARQUES, R. M.; MARTINS, H. C.;DIAS JÚNIOR, ALAIR; MAIA, L. C. G.. Análise Da Segurança De Redes Wi-Fi Através De Teste De Penetração Em Instituições De Ensino Superior De Belo Horizonte. 2015. Exame de qualificação (Mestrando em Sistemas de Informação e Gestão do Conhecimento) - Universidade FUMEC.

MARQUES, R. M.; MAIA, L. C. G.;DIAS JÚNIOR, ALAIR. Análise de eficiência na detecção de vulnerabilidade em ambientes web com o uso de ferramentas gratuitas. 2015. Exame de qualificação (Mestrando em Sistemas de Informação e Gestão do Conhecimento) - Universidade FUMEC.

DIAS JÚNIOR, ALAIR; GOMIDE, J. V. B.; MAGALHÃES, A. L. C. C.. Evaluation of Face Recognition Technologies for Access Authentication in Automotive Passive Entry Systems with Near Infrared Camera. 2015. Exame de qualificação (Mestrando em Sistemas de Informação e Gestão do Conhecimento) - Universidade FUMEC.

DIAS JÚNIOR, ALAIR; GOMIDE, J. V. B.; BARROSO, L.C.. Estudo Comparativo De Tecnologias Para Detecção Precoce De Incêndios Florestais Em Áreas De Reflorestamento No Brasil. 2015. Exame de qualificação (Mestrando em Sistemas de Informação e Gestão do Conhecimento) - Universidade FUMEC.

MAIA, L. C. G.; ABREU, O. G.;DIAS JÚNIOR, ALAIR. Sistema de Votação Eletrônica Auditável para Instituições de Ensino Superior. 2015. Exame de qualificação (Mestrando em Sistemas de Informação e Gestão do Conhecimento) - Universidade FUMEC.

RODRIGUES, R. F.; PARREIRAS, Fernando Silva;DIAS JÚNIOR, Alair; GOMIDE, J. V. B.. Estudo sobre o Impacto da Gestão Visual na Melhoria de Desempenho do Gerenciamento de Projetos na Área de Concentração: Sistemas de Informação e Gestão do Conhecimento. 2015. Exame de qualificação (Mestrando em Sistemas de Informação e Gestão do Conhecimento) - Universidade FUMEC.

GOMIDE, J. V. B.; RODRIGUES, R. F.;DIAS JÚNIOR, ALAIR. Matchmoving: Technologias para o Rastreamento, Calibração de Câmera com Usabilidades em Produções Audiovisuais. 2015. Exame de qualificação (Mestrando em Sistemas de Informação e Gestão do Conhecimento) - Universidade FUMEC.

CARDOSO, A.M.P.; RODRIGUES, R. F.;DIAS JÚNIOR, ALAIR. Uso de Simuladores como Ferramenta no Ensino-aprendizagem de Redes de Computadores. 2015. Exame de qualificação (Mestrando em Sistemas de Informação e Gestão do Conhecimento) - Universidade FUMEC.

MARQUES, R. M.;DIAS JÚNIOR, ALAIR; GOMES, O.A.. Marco Civil da Internet: Análise de Neutralidade da Rede. 2015. Exame de qualificação (Mestrando em Sistemas de Informação e Gestão do Conhecimento) - Universidade FUMEC.

MAIA, - Luiz Cláudio Gomes; MUYLDER, C. F.;DIAS JÚNIOR, Alair; CAMILO, R. D.. Impactos da Implantação do Lean Manufacturing na Gestão de Projetos de Tecnologia da Informação: Estudo de Caso em Multinacional do Segmento de Ti. 2014. Exame de qualificação (Mestrando em Sistemas de Informação e Gestão do Conhecimento) - Universidade FUMEC.

SILVA, J. T. M.; ABREU, O. G.;DIAS JÚNIOR, ALAIR. Avaliação dos Critérios de Medição do Tempo de Desenvolvimento de Sistemas de Gerenciamento de Decisão: um Estudo de Caso de uma Empresa de Distribuição de Energia Elétrica. 2014. Exame de qualificação (Mestrando em Sistemas de Informação e Gestão do Conhecimento) - Universidade FUMEC.

MARTINS, H. C.; MUYLDER, C. F.;DIAS JÚNIOR, ALAIR; MAIA, L. C. G.. Relação entre Fatores Socioeconômicos e Índices de Homicídios em Betim: uma Modelagem Utilizando Sistemas de Informação Geográfica. 2014. Exame de qualificação (Mestrando em Sistemas de Informação e Gestão do Conhecimento) - Universidade FUMEC.

OLIVEIRA, L.C.V.; MUYLDER, C. F.;DIAS JÚNIOR, Alair. Marca, Inovação e Redes: O Impacto do Marketing da Fórmula 1 na Decisão de Compra entre duas Montadoras de Automóveis no Brasil. 2014. Exame de qualificação (Mestrando em Administração) - Universidade FUMEC.

SANTOS, Marcelo Rodrigues;DIAS JÚNIOR, Alair; ABREU, O. G.. Modelo de Objetos do OpenEHR: uma avaliação em termos de métricas orientadas a objeto. 2013. Exame de qualificação (Mestrando em Sistemas de Informação e Gestão do Conhecimento) - Universidade FUMEC.

PARREIRAS, Fernando Silva;DIAS JÚNIOR, ALAIR; OLIVEIRA, Júlia Epischina Engrácia. Uma proposta para visualização de linked data sobre enchentes na Bacia do Rio Doce. 2013. Exame de qualificação (Mestrando em Sistemas de Informação e Gestão do Conhecimento) - Universidade FUMEC.

SANTOS, Marcelo Rodrigues; MAIA, - Luiz Cláudio Gomes;DIAS JÚNIOR, ALAIR. Archetype Definition Language: uma avaliação da linguagem de domínio especifica adl para criação de arquétipos clínicos de saúde. 2013. Exame de qualificação (Mestrando em Sistemas de Informação e Gestão do Conhecimento) - Universidade FUMEC.

MESQUITA, R. C.; MAGALHÃES, A. L. C. C.;DIAS JÚNIOR, Alair; Cunha, B.F.M.. Uso de Design Verifier para testes automatizados de software baseados em modelos. 2017. Trabalho de Conclusão de Curso (Graduação em Engenharia de Sistemas) - Universidade Federal de Minas Gerais.

Lima, Eduardo José;DIAS JÚNIOR, Alair; Ramalho Filho, Frederico A.. Sistema de Controle Robótico de Servomecanismos com uma Abordagem de Custo. 2016. Trabalho de Conclusão de Curso (Graduação em Engenharia Mecânica) - Universidade Federal de Minas Gerais.

SILL TORRES, F.;DIAS JÚNIOR, Alair. Aplicação de Processador AMBER para Controle de uma Rede Ômega para Depuração Pós-silício. 2016. Trabalho de Conclusão de Curso (Graduação em Engenharia de Controle e Automação) - Universidade Federal de Minas Gerais.

PASSOS, L. F. D.; SOUSA, R. G.;DIAS JUNIOR, ALAIR. Sistema Embarcado para Monitoramento e Controle de Trocador de Calor. 2016. Trabalho de Conclusão de Curso (Graduação em Engenharia Química) - Universidade Federal de Minas Gerais.

PASSOS, L. F. D.; SOUSA, R. G.;DIAS JUNIOR, ALAIR. Projeto e implementação de sistema embarcado para monitoramento e controle de trocador de calor. 2016. Trabalho de Conclusão de Curso (Graduação em Engenharia Química) - Universidade Federal de Minas Gerais.

PASSOS, L. F. D.; SOUSA, R. G.;DIAS JUNIOR, ALAIR. Projeto e implementação de sistema embarcado para monitoramento e controle de trocador de calor. 2016. Trabalho de Conclusão de Curso (Graduação em Engenharia Química) - Universidade Federal de Minas Gerais.

PASSOS, L. F. D.; SOUSA, R. G.;DIAS JUNIOR, ALAIR. Projeto e implementação de sistema embarcado para monitoramento e controle de trocador de calor. 2016. Trabalho de Conclusão de Curso (Graduação em Engenharia Química) - Universidade Federal de Minas Gerais.

PERSECHINI, M. A. M.;DIAS JÚNIOR, Alair; ROCHA, L.. Automação dos poços da Mina de Fábrica e do Transporte Pneumático da CST. 2007. Trabalho de Conclusão de Curso (Graduação em Engenharia de Controle e Automação) - Universidade Federal de Minas Gerais.

MAIA, C. A.;DIAS JÚNIOR, Alair; OLIVEIRA, A. S.. Desenvolvimento de um Sistema de Monitoramento de Temperatura para Indústria de Laticínio. 2007. Trabalho de Conclusão de Curso (Graduação em Engenharia de Controle e Automação) - Universidade Federal de Minas Gerais.

CUNHA, A. B.; ARAUJO FILHO, J. E. M.; ALVES, L. V. R.;DIAS JUNIOR, ALAIR; MICHEL, H. C. C.. Concurso Público para Provimento de Cargo Efetivo de Docente da Careira de Magistério do Ensino Básico, Técnico e Tecnológico. 2017. COLÉGIO TÉCNICO DA UNIVERSIDADE FEDERAL DE MINAS GERAIS.

CASTRO, C. L.; MENDES, E. M. A. M.; YARED, G. F. G.; SALDANHA, R. R.;DIAS JÚNIOR, ALAIR. Banca examinadora do concurso público para contratação de Professor Adjunto. Edital 754/2016. - Área Engenharia de Sistemas. 2016. Universidade Federal de Minas Gerais.

Verificação de Sistemas Descritos Usando as Linguagens da Norma 61131-3; Início: 2016; Dissertação (Mestrado em Programa de Pós-Graduação em Engenharia Elétrica) - Universidade Federal de Minas Gerais; (Orientador);

Análise de Ferramentas para Verificação Formal em Projetos de Hardware e Software; Início: 2017; Iniciação científica (Graduando em Engenharia de Controle e Automação) - Universidade Federal de Minas Gerais; (Orientador);

Aplicações de Internet das Coisas Visando Smart Living, Smart Health e Smart Buildings; Início: 2017; Iniciação científica (Graduando em Engenharia de Controle e Automação) - Universidade Federal de Minas Gerais; (Orientador);

Método e Aparato para Geração Dirigida de Vetores de Teste para Depuração Pós-Silício; Início: 2017; Iniciação científica (Graduando em Engenharia de Controle e Automação) - Universidade Federal de Minas Gerais, Universidade Federal de Minas Gerais; (Orientador);

Aplicações de Internet das Coisas visando Smart Living, Smart Health e Smart Buildings; Início: 2017; Iniciação científica (Graduando em Engenharia Elétrica) - Universidade Federal de Minas Gerais; (Orientador);

Aplicações de Internet das Coisas Visando Smart Living, Smart Health e Smart Buildings; Início: 2017; Iniciação científica (Graduando em Engenharia de Controle e Automação) - Universidade Federal de Minas Gerais; (Orientador);

Análise de Ferramentas para Verificação Formal em Projetos de Hardware e Software; Início: 2017; Iniciação científica (Graduando em Engenharia de Controle e Automação) - Universidade Federal de Minas Gerais; (Orientador);

Evaluation of Face Recognition Technologies for Access Authentication in Automotive Passive Entry Systems with Near Infrared Camera; 2016; Dissertação (Mestrado em Sistemas de Informação e Gestão do Conhecimento) - Universidade FUMEC,; Orientador: Alair Dias Júnior;

Estudo e Comparações entre Diferentes Implementações de Sistemas de Recomendação; 2015; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade FUMEC; Orientador: Alair Dias Júnior;

Fluxmachine - Compilador e Interpretador de Fluxogramas; 2015; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade FUMEC; Orientador: Alair Dias Júnior;

Análise Comparativa de Modelos de RNA's Aplicadas ao Reconhecimento de Padrões; 2015; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade FUMEC; Orientador: Alair Dias Júnior;

Parametrização de Algoritmo Genético para Resolução do Problema de Timetable; 2015; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade FUMEC; Orientador: Alair Dias Júnior;

Análise do Perfil das Aplicações de Internet das Coisas; 2015; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade FUMEC; Orientador: Alair Dias Júnior;

Near Field Communication: tecnologias envolvidas e impactos na vida cotidiana; 2014; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade FUMEC; Orientador: Alair Dias Júnior;

Comunicação de Dados por meio de Ondas Acústicas; 2014; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade FUMEC; Orientador: Alair Dias Júnior;

Comunicação de Dados por meio de Ondas Acústicas; 2014; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade FUMEC; Orientador: Alair Dias Júnior;

Definição de Regras Semânticas da Linguagem Assembly dos Microcontroladores 8 Bits AVR; 2014; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade FUMEC; Orientador: Alair Dias Júnior;

Desenvolvimento de Aplicativos para o Sistema Operacional Android; 2013; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade FUMEC; Orientador: Alair Dias Júnior;

Processamento de Linguagem Natural: interpretando e executando comandos de voz; 2012; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade FUMEC; Orientador: Alair Dias Júnior;

Comparativo de Ferramentas para Desenvolvimento de Realidade Aumentada; 2012; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade FUMEC; Orientador: Alair Dias Júnior;

Desenvolvimento e Documentação do Projeto de um Robô Hexápode; 2012; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade FUMEC; Orientador: Alair Dias Júnior;

Desenvolvimento e Documentação do Projeto de um Robô Hexápode; 2012; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade FUMEC; Orientador: Alair Dias Júnior;

Knowledge Discovery in Database: conceitos e utilização do processo de KDD em bases de dados; 2012; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade FUMEC; Orientador: Alair Dias Júnior;

Verificação de Propriedades Funcionais em Controladores Lógicos Programáveis; 2012; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade FUMEC; Orientador: Alair Dias Júnior;

Antenas Fractais: redução de tamanho para antenas de sinais digitais de alta definição; 2011; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade FUMEC; Orientador: Alair Dias Júnior;

Antenas Fractais: redução de tamanho para antenas de sinais digitais de alta definição; 2011; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade FUMEC; Orientador: Alair Dias Júnior;

Inteligência Artificial: análise de heurísticas para resolução do problema do caixeiro viajante; 2011; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade FUMEC; Orientador: Alair Dias Júnior;

Geoprocessamento: criação de um modelo tridimensional em tons de cinza das edificações de Belo Horizonte; 2011; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade FUMEC; Orientador: Alair Dias Júnior;

Java vs; C#: fatores que interferem na escolha da linguagem de um sistema; 2011; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade FUMEC; Orientador: Alair Dias Júnior;

Realidade Aumentada: jogos interativos; 2011; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade FUMEC; Orientador: Alair Dias Júnior;

Struts 2 x JSF: ferramentas de produtividade WEB e preferências no mercado corporativo; 2011; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade FUMEC; Orientador: Alair Dias Júnior;

Sistemas de Recomendações Baseados em Inteligência Coletiva; 2010; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade FUMEC; Orientador: Alair Dias Júnior;

Análise de Ferramentas para Verificação Formal em Projetos de Hardware e Software; 2016; Iniciação Científica; (Graduando em Engenharia de Controle e Automação) - Universidade Federal de Minas Gerais; Orientador: Alair Dias Júnior;

Análise de método caixa-preta para a verificação de propriedades temporais em projetos de circuitos integrados; 2015; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade FUMEC, Fundação de Amparo à Pesquisa do Estado de Minas Gerais; Orientador: Alair Dias Júnior;

Casa Inteligente: Desenvolvimento de Sensores, Atuadores e Interfaces de Fácil Instalação para Utilização em Automação Residencial; 2013; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade FUMEC, ProPIC/FUMEC; Orientador: Alair Dias Júnior;

Casa Inteligente: Desenvolvimento de Sensores, Atuadores e Interfaces de Fácil Instalação para Utilização em Automação Residencial; 2013; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade FUMEC; Orientador: Alair Dias Júnior;

Casa Inteligente: Desenvolvimento de Sensores, Atuadores e Interfaces de Fácil Instalação para Utilização em Automação Residencial; 2013; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade FUMEC; Orientador: Alair Dias Júnior;

FUMEChs: A robótica como instrumento de motivação e integração na Universidade; 2015; Orientação de outra natureza; (Engenharia de Computação) - Universidade FUMEC, FUMEC; Orientador: Alair Dias Júnior;

FUMEChs: A robótica como instrumento de motivação e integração na Universidade; 2015; Orientação de outra natureza; (Engenharia de Computação) - Universidade FUMEC; Orientador: Alair Dias Júnior;

FUMEChs: A robótica como instrumento de motivação e integração na Universidade; 2015; Orientação de outra natureza; (Engenharia de Computação) - Universidade FUMEC; Orientador: Alair Dias Júnior;

DIAS JÚNIOR, Alair ; MARTINS, Henrique Resende ; SILVA JUNIOR, D. C. ; FLOR, Daniel Reis ; ZANETTI, Renato . WASP - Wisecomm Advanced Sensor Platform. 2011.

DIAS JÚNIOR, Alair ; SILVA JUNIOR, D. C. ; FLOR, Daniel Reis ; ZANETTI, Renato . WiseHealth. 2010.

DIAS JÚNIOR, ALAIR . Introdução à Programação de CLPs usando a norma IEC 61131-3. 2015. (Curso de curta duração ministrado/Outra).

DIAS JÚNIOR, ALAIR . Microeletrônica - Prototipagem Rápida Usando FPGAs. 2011. (Curso de curta duração ministrado/Outra).

2015

Paraninfo do curso de Ciência da Computação, Formandos de Agosto de 2015, Universidade Fumec.

2014

HiPEAC Paper Award, HiPEAC Network of Excellence.

2013

Paraninfo do curso de Ciência da Computação, Formandos de Fevereiro de 2013, Universidade Fumec.

2013

Paraninfo do curso de Ciência da Computação, Formandos de Agosto de 2013, Universidade Fumec.

2013

Swiss Government Excellence Scholarship for Foreign Students, Swiss Federal Comission for Scholarships for Foreign Students (FCS).

2012

Paraninfo do curso de Ciência da Computação, Formandos de Fevereiro de 2012, Universidade Fumec.

2012

Professor Homenageado do curso de Ciência da Computação, Formandos de Agosto de 2012, Universidade Fumec.

2011

Professor Homenageado do curso de Ciência da Computação, Formandos de Agosto de 2011, Universidade Fumec.

2009

Programa Primeira Empresa Inovadora, FINEP - Por meio da FUMSOFT (Sociedade Mineira de Software).

2006

Finalista do Prêmio Santander de Empreendedorismo, Banco Santander.

2005

Finalista do Prêmio Santander de Empreendedorismo, Banco Santander.

2003

Finalista do Prêmio SME, SOCIEDADE MINEIRA DE ENGENHEIROS.

1997

META, CEFET-MG.