• Grupo de Pesquisa
• GTA - Grupo de Teleinformática e Automação
• Formação Acadêmica
• Doutorando em Engenharia Elétrica pela COPPE – Universidade Federal do Rio de Janeiro (UFRJ)
• Mestre em Engenharia Elétrica pela Universidade Federal do Amazonas (UFAM)
• Bacharel em Processamento de Dados pela Universidade Federal do Amazonas (UFAM)
• Currículo Lattes: http://lattes.cnpq.br/3884377039846950

Áreas de Interesse

• Métodos Formais
• Geradores de Códigos
• Rede de Sensores Sem Fios
• Cidades Inteligentes
• Verificação de Software

Contato