Higo Ferreira Albuquerque

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


Atualmente aluno do Programa de Pós-Graduação em Engenharia Elétrica PPGEE/UFAM e, professor de Ensino Técnico no CETAM IBC. Possui graduação em Engenharia da Computação pela Universidade Federal do Amazonas (UFAM) em 2016 e, em Tecnologia em Mecatrônica Industrial pelo Instituto Federal de Educação, Ciência e Tecnologia do Amazonas (IFAM) em 2014. Estagiou na Rede Nacional de Ensino e Pesquisa RNP; desenvolveu projeto de iniciação tecnológica no Instituto de Computação ICOMP/UFAM; colaborou em projetos na área de PDI e TV Digital do Centro de Pesquisa e Desenvolvimento de Tecnologia Eletrônica e da Informação CETELI/UFAM; atuou como pesquisador no Laboratório de Verificação de Software e Sistemas CETELI/UFAM desenvolvendo softwares de verificação aplicados para CUDA. (Texto informado pelo autor)


Identificação


Nome
Higo Ferreira Albuquerque
Nome em citações bibliográficas
ALBUQUERQUE, H. F.;ALBUQUERQUE, HIGO

Endereço


Endereço Profissional
Universidade Federal do Amazonas, Faculdade de Tecnologia.
Av Rodrigo Octávio Jordão Ramos N 3000
Coroado
69077000 - Manaus, AM - Brasil - Caixa-postal: 6906000
Telefone: (92) 33051480
URL da Homepage: http://portal.ufam.edu.br/


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


2009 - 2016
Graduação em Engenharia da Computação.
Universidade Federal do Amazonas, UFAM, Brasil.
2009 - 2014
Graduação em Tecnologia em Mecatrônica Industrial.
Instituto Federal de Educação, Ciência e Tecnologia do Amazonas, IFAM, Brasil.
Título: Sistema de triagem de produtos sobre esteiras por meio de TAGs RFID.
Orientador: Flávio José Aguiar Soares.
2005 - 2007
Ensino Médio (2º grau).
Escola Estadual Angelo Ramazzotti, EEAR, Brasil.




Formação Complementar


2014 - 2015
Desenvolvimento de Sistemas de PDI. (Carga horária: 300h).
Centro de P&D em Tecnologia Eletrônica e da Informação, CETELI, Brasil, CETELI, Brasil.
2013 - 2014
Tecnologias para TV Digital. (Carga horária: 200h).
Centro de P&D em Tecnologia Eletrônica e da Informação, CETELI, Brasil, CETELI, Brasil.
2010 - 2010
Extensão universitária em Curso de Atualização em Redes Multimídia. (Carga horária: 80h).
Universidade Federal do Amazonas, UFAM, Brasil.


Atuação Profissional



Centro de P&D em Tecnologia Eletrônica e da Informação, CETELI, Brasil.
Vínculo institucional

2014 - 2015
Vínculo: Bolsista, Enquadramento Funcional: Pesquisa, Carga horária: 25
Outras informações
Atuou no laboratório Software Verification - UFAM, no projeto "Verificação de programas C/C++ baseados em processadores de vários núcleos".


Rede Nacional de Ensino e Pesquisa, RNP, Brasil.
Vínculo institucional

2010 - 2011
Vínculo: Bolsista, Enquadramento Funcional: Estágiario, Carga horária: 20
Outras informações
Atividades desenvolvidas: Criação de sistema de acesso remoto via Internet discada aos servidores da RNP no Amazonas. Expansão e manutenção do sistema de câmeras do local de trabalho. Atendimento às instituições beneficiadas pelos serviços da RNP no Amazonas.


Instituto de Computação - UFAM, ICOMP, Brasil.
Vínculo institucional

2010 - 2011
Vínculo: Voluntário, Enquadramento Funcional: Pesquisa, Carga horária: 20
Outras informações
Atuou como voluntário no Grupo de Redes de Computadores e Multimídia (GRCM) do Instituto de Computação ICOMP/ UFAM. Com a orientação do professor Leandro Silva Galvao de Carvalho contribuiu nas atividades da pesquisa: "Avaliação subjetiva da qualidade da fala durante transições codecs em uma chamada Voip" do aluno Bruno Auzier. Responsabilidades no Projeto: Geração dos arquivos com transição de codecs usados na pesquisa e aplicação de testes com usuários para avaliação das transições.


Instituto Federal de Educação, Ciência e Tecnologia do Amazonas, IFAM, Brasil.
Vínculo institucional

2014 - 2014
Vínculo: , Enquadramento Funcional:



Projetos de pesquisa


2014 - 2015
Verificação de programas C/C++ baseados em processadores de vários núcleos
Descrição: O principal objetivo deste projeto consiste em pesquisar, implementar e validar técnicas de verificação estática de código para checar propriedades relacionadas à corrida de dados, bloqueio fatal, estouro aritmético e de vetores, divisão por zero e segurança de ponteiros de kernels de unidades de processamento gráfico (GPU, do inglês Graphics Processing Units). Serão considerados kernels desenvolvidos usando as linguagens de programação OpenCL e CUDA. A validação deste projeto terá como objetivo demonstrar a eficiência e eficácia, das técnicas propostas, para verificar um amplo conjuntos de programas CUDA e OpenCL para GPU kernels.
Financiador(es): Instituto Nokia de Tecnologia.
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) / Doutorado: (2) .
Integrantes: Higo Ferreira Albuquerque - Integrante / Lucas Carvalho Cordeiro - Coordenador / Celso Barbosa Carvalho - Integrante / Phillipe Arantes Pereira - Integrante / Hendrio Marques - Integrante / Isabela da Silva - Integrante.


Projetos de desenvolvimento


2012 - 2013
Sistema de Alarme de Incêndio Baseado em Arduino e Android
Descrição: Projeto do Programa Institucional de Bolsas de Iniciação em Desenvolvimento Tecnológico e Inovação (PIBITI). O objetivo do projeto é criar um protótipo baseado em Arduino dotado de sensores para identificar um possível incêndio, e um aplicativo Android que recebe os dados do protótipo e envia um SMS para os números cadastrados indicando se há um sinistro (incêndio) ou se o hardware precisa de manutenção. Sua aplicação é feita em localidades que não dispõem de Internet e locais que ficam períodos longos sem a presença de pessoas. O trabalho foi premiado no XXIII CONIC - 23 Congresso de Iniação Científica da UFAM.
Financiador(es): CNPq.
Situação: Concluído; Natureza: Desenvolvimento.
Alunos envolvidos: Graduação: (1) / Doutorado: (1) .
Integrantes: Higo Ferreira Albuquerque - Integrante / JOSÉ FRANCISCO DE MAGALHÃES NETTO - Coordenador.


Outros Projetos


2014 - 2014
Sistema de triagem de produtos sobre esteiras por meio de TAGs RFID
Descrição: O objetivo é desenvolver um sistema de triagem de peças sobre esteiras usando RFID, para realização do trabalho os seguintes tópicos foram realizados:
* Montagem e desenvolvimento da estrutura física.
* Desenvolvimento do circuito e prototipagem das placas de controle e acionamento do sistema.
* Programação e embarcar o código no microcontrolador.
* Desenvolvimento e montagem da parte eletropneumática.
Trabalho desenvolvido para conclusão do curso de Tecnologia em Mecatrônica Industrial - IFAM.

Vídeo: https://vimeo.com/146681657
.
Situação: Concluído; Natureza: Outra.
Alunos envolvidos: Graduação: (1) / Doutorado: (1) .
Integrantes: Higo Ferreira Albuquerque - Integrante / Flávio José Aguiar Soares - Coordenador.
2012 - 2012
Remote Pantry
Descrição: Empresas como METRO GROUP (Alemã) e Walmart (Americana) relizam pesquisas com a inserção de TAGs RFIDs nos seu produtos em alguns de seus supermercados, com o objetivo de facilitar e agilizar o processo de compra. Com base no modelo encontrado, um sistema foi desenvolvido para fazer uso das TAGs RFIDs e descrever a despensa do usuário em tempo real. O sistema consiste de um hardware desenvolvido com microcontrolador Atmega 328, capaz de ler as TAGs RFID implantadas nos produtos; Um Web service onde são armazenados os dados todas as vezes que o usuário insere ou remove um produto da sua despensa; Um aplicativo Android que o usuário acessa para saber em tempo real todos os produtos de sua despensa.
Trabalho desenvolvido durante a disciplina Sistemas Distribuídos.

Notícias:
http://acritica.uol.com.br/noticias/Amazonas-Manaus-Tecnologia-ufam-desenvolvimento-softwares-alunos-ciencia-engenharia-computacao-sistemas-informacao-apps-nokia-samsung_0_827917246.html

http://www.ufam.edu.br/index.php/comunicacao/175-iv-feira-da-icom-cria-aplicativos-para-celulares-e-ajuda-alunos-a-empreender
.
Situação: Concluído; Natureza: Outra.
Alunos envolvidos: Graduação: (2) / Doutorado: (1) .
Integrantes: Higo Ferreira Albuquerque - Integrante / Bárbara Lobato dos Santos - Integrante / Eduardo James Pereira Souto - 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: Software Básico.
2.
Grande área: Engenharias / Área: Engenharia Elétrica / Subárea: Microcontroladores.
3.
Grande área: Outros / Área: Robótica, Mecatrônica e Automação.


Idiomas


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


Prêmios e títulos


2013
Menção Honrosa Melhores Trabalhos, XXIII CONIC - 23° Congresso de Iniação Científica da UFAM.


Produções



Produção bibliográfica
Trabalhos completos publicados em anais de congressos
1.
PEREIRA, PHILLIPE ; ALBUQUERQUE, HIGO ; MARQUES, HENDRIO ; SILVA, ISABELA ; CARVALHO, CELSO ; CORDEIRO, LUCAS ; SANTOS, VANESSA ; FERREIRA, RICARDO . Verifying CUDA programs using SMT-based context-bounded model checking. In: the 31st Annual ACM Symposium, 2016, Pisa. Proceedings of the 31st Annual ACM Symposium on Applied Computing - SAC '16, 2016. p. 1648-1653.

2.
PEREIRA, P. A. ; ALBUQUERQUE, H. F. ; MARQUES, H. ; SILVA, I. ; SANTOS, V. ; CARVALHO, C. B. ; FERREIRA, R. S. ; CORDEIRO, L. C. . Verificação de Kernels em Programas CUDA usando Bounded Model Checking. In: Simpósio em Sistemas Computacionais de Alto Desempenho, 2015, Florianópolis/SC. XVI Simpósio em Sistemas Computacionais de Alto Desempenho, 2015. v. XVI. p. 24-35.

Artigos aceitos para publicação
1.
PEREIRA, P. A. ; ALBUQUERQUE, H. F. ; SILVA, ISABELA ; MARQUES, HENDRIO ; MONTEIRO R, F. ; FERREIRA, RICARDO ; CORDEIRO, L. C. . SMT-Based Context-Bounded Model Checking for CUDA Programs. Concurrency and Computation, 2016.


Produção técnica
Programas de computador sem registro
1.
ESBMC-GPU. 2015.



Eventos



Participação em eventos, congressos, exposições e feiras
1.
XVI Simpósio em Sistemas Computacionais de Alto Desempenho.Verificação de Kernels em Programas CUDA usando Bounded Model Checking. 2015. (Simpósio).

2.
I Encontro CETELI/UFAM SAMSUNG de Inovação Tecnológica.Aplicativo para TV Digital CopaDTV. 2014. (Encontro).

3.
I Escola de Microeletrônica do Norte. 2014. (Encontro).

4.
IV FEIRA DE EXPOSIÇÃO DE APLICATIVOS PARA DISPOSITIVOS MÓVEIS / UFAM. Remote Pantry. 2012. (Feira).



Inovação



Programa de computador sem registro
1.
ESBMC-GPU. 2015.




Página gerada pelo Sistema Currículo Lattes em 15/12/2018 às 24:01:23