Phillipe Arantes Pereira

  • Endereço para acessar este CV: http://lattes.cnpq.br/2234775460028893
  • Última atualização do currículo em 18/12/2015


Atualmente é discente de mestrado no Programa de Pós-Graduação em Engenharia Elétrica da Universidade Federal do Amazonas(PPGEE-UFAM/2015). Possui graduação em Engenharia da Computação pela UFAM(2015). Atuou como bolsista no projeto Tukanos em desenvolvimento de aplicativos para mobile. Atuou como bolsista de apoio técnico no Laboratório RHASA na Universidade Estadual do Amazonas(UEA) desenvolvendo ferramentas computacionais(SO Linux). Atuou como bolsista no Projeto de Verificação de Programas C/C++ Baseados em Processadores de Vários Núcleos(CETELI/UFAM). (Texto informado pelo autor)


Identificação


Nome
Phillipe Arantes Pereira
Nome em citações bibliográficas
PEREIRA, P. A.;PEREIRA;PEREIRA, Phillipe Arantes;RHASA Team

Endereço


Endereço Profissional
Universidade Federal do Amazonas, CETELI.
Avenida Rodrigo Otávio
Japiim
69077000 - Manaus, AM - Brasil
Telefone: (92) 00000000
URL da Homepage: ceteli.ufam.edu.br


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


2015
Mestrado em andamento em Engenharia Elétrica.
Universidade Federal do Amazonas, UFAM, Brasil. Orientador: Lucas Carvalho Cordeiro.
2008 - 2015
Graduação em Engenharia da Computação.
Universidade Federal do Amazonas, UFAM, Brasil.
Título: Desenvolvimento de um Modelo em VHDL para Avaliação de Corretude e Desempenho do Processador MIPS usando Arquiteturas Baseadas em Multiciclo e Pipeline.
Orientador: Lucas Carvalho Cordeiro.




Formação Complementar


2014 - 2014
Programação Orientada a Objetos em C++. (Carga horária: 20h).
Universidade Federal do Amazonas, UFAM, Brasil.
2014 - 2014
Teste e Verificação de Software. (Carga horária: 20h).
Universidade Federal do Amazonas, UFAM, Brasil.
2014 - 2014
Programação de Graphical Processing Units Kernels usando CUDA e OpenCL. (Carga horária: 20h).
Universidade Federal do Amazonas, UFAM, Brasil.
2014 - 2014
Introdução a Construção de Compiladores. (Carga horária: 20h).
Universidade Federal do Amazonas, UFAM, Brasil.
2011 - 2011
C++ Avançado. (Carga horária: 30h).
Universidade Federal do Amazonas, UFAM, Brasil.
2011 - 2011
Design de Interação e Usabilidade. (Carga horária: 4h).
Universidade Federal do Amazonas, UFAM, Brasil.
2011 - 2011
Aplicação Java Web usando JSF + EJB. (Carga horária: 9h).
Universidade Federal do Amazonas, UFAM, Brasil.
2011 - 2011
C++ Básico. (Carga horária: 20h).
Universidade Federal do Amazonas, UFAM, Brasil.


Atuação Profissional



Universidade Federal do Amazonas, UFAM, Brasil.
Vínculo institucional

2014 - 2015
Vínculo: Bolsista, Enquadramento Funcional: Estagiário, Carga horária: 25

Vínculo institucional

2011 - 2012
Vínculo: Bolsista, Enquadramento Funcional: Estagiário, Carga horária: 20


Universidade do Estado do Amazonas, UEA, Brasil.
Vínculo institucional

2012 - 2013
Vínculo: Outro, Enquadramento Funcional: Bolsista Voluntário



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.
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (2) .
Integrantes: Phillipe Arantes Pereira - Coordenador / Lucas Carvalho Cordeiro - Integrante / Celso Barbosa Carvalho - Integrante / Higo Albuquerque - Integrante / Hendrio Marques - Integrante / Isabela da Silva - Integrante / Vanessa Santos - Integrante.
2013 - 2014
Dados Espaciais para os Recursos Hídricos da Amazônia - HIDRAS
Descrição: O objetivo do projeto Dados Espaciais para os Recursos Hídricos da Amazônia (HIDRAS) é convergir os interesses e competências das entidades participantes Universidade do Estado do Amazonas (UEA), Institut de Recherche pour Le Développement (IRD), Serviço Geológico do Brasil (CPRM), Sistema de Proteção da Amazônia (SIPAM), Centre National d'Études Spatiales (CNES) e as universidades francesas Université Toulouse 3, Université Montpellier 2 e Université des Antilles et de la Guyane; aproveitando a experiência adquirida no âmbito das missões espaciais passadas e atuais, para verificar a precisão dos dados altimétricos e meteorológicos na região Amazônica; integrando e utilizando conjuntamente tais medições com registros in situ para acoplá-las futuramente com os modelos hidrológicos para previsão do comportamento hidrológico atual e futuro da bacia Amazônica, assim como os produtos das missões espaciais futuras. Fazendo uso da base de dados altimétricos disponibilizados pelos diferentes parceiros e se apoiando num conjunto de iniciativas e infraestruturas já existentes na região e de reconhecidas competências na temática proposta. Estes objetivos gerais emanam a duas vertentes distintas, porém complementares: pesquisa e capacitação de pessoal.
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (6) / Mestrado acadêmico: (2) / Doutorado: (3) .
Integrantes: Phillipe Arantes Pereira - Integrante / Joecila Santos da Silva - Coordenador / Rita Valeria Andreoli de Souza - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.


Projetos de desenvolvimento


2012 - 2013
Desenvolvimento de Ferramentas Computacionais para o Laboratório RHASA.
Situação: Concluído; Natureza: Desenvolvimento.
2011 - 2012
Tukanos
Descrição: Desenvolvimento de aplicativos para mobile..
Situação: Concluído; Natureza: Desenvolvimento.
Alunos envolvidos: Graduação: (8) / Mestrado acadêmico: (1) / Doutorado: (1) .
Integrantes: Phillipe Arantes Pereira - Integrante / Cícero Ferreira Fernandes Costa Filho - Coordenador / Vicente Ferreira de Lucena Júnior - Integrante.


Áreas de atuação


1.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Verificação de Software e Sistemas.
2.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Engenharia e Desenvolvimento de Software.
3.
Grande área: Engenharias / Área: Engenharia Elétrica / Subárea: Descrição de Hardware.


Idiomas


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


Produções



Produção bibliográfica
Trabalhos completos publicados em anais de congressos
1.
PEREIRA, P. A.; ALBUQUERQUE, H. ; MARQUES, H. ; SILVA, I. ; SANTOS, V. ; FERREIRA, R. S. ; CARVALHO, C. B. ; CORDEIRO, L. C. . Verificação de Kernels em Programas CUDA usando Bounded Model Checking. In: XVI Simpósio em Sistemas Computacionais de Alto Desempenho - WSCAD, 2015, Florianópolis/SC. Anais da 16ª edição do SSCAD, 2015. p. 24-35.

2.
PEREIRA, P. A.; ALBUQUERQUE, H. ; MARQUES, H. ; SILVA, I. ; CARVALHO, C. B. ; SANTOS, V. ; FERREIRA, R. S. ; CORDEIRO, L. C. . Verifying CUDA Programs using SMT-Based Context-Bounded Model Checking. In: ACM Symposium on Applied Computing, Software Verification and Testing, 2015, Pisa, Italy. SAC'16, 2015.

3.
VERGASTA, L. A. ; OLIVEIRA, R. A. ; FIGLIUOLO, G. C. ; SOUSA, A. C. ; PEREIRA, P. A. ; CORREIA, F. W. S. ; SILVA, J. S. ; CALMANT, S. ; SEYLER, F. . Análise comparativa entre dados de precipitação e de níveis de água estimados via produto MERGE e satélite ENVISAT na bacia Amazônica. In: XVI Simpósio Brasileiro de Sensoriamento Remoto - SBSR, 2013, Foz do Iguaçu - PR. Anais XVI Simpósio Brasileiro de Sensoriamento Remoto - SBSR, Foz do Iguaçu, PR, Brasil, 13 a 18 de abril de 2013, INPE, 2013. p. 5721-5728.

4.
FREITAS, F. M. ; VERGASTA, L. A. ; OLIVEIRA, R. A. ; CORREIA, F. W. S. ; PEREIRA, P. A. ; SILVA, J. S. ; CALMANT, S. ; SEYLER, F. . Análise sazonal da precipitação e nível de água utilizando dados do produto MERGE e satélite ENVISAT na Bacia do Rio Madeira. In: XVI Simpósio Brasileiro de Sensoriamento Remoto - SBSR, 2013, Foz do Iguaçu - PR. Anais XVI Simpósio Brasileiro de Sensoriamento Remoto - SBSR, Foz do Iguaçu, PR, Brasil, 13 a 18 de abril de 2013, INPE, 2013. p. 5620-5627.

5.
SOUSA, A. C. ; SILVA, J. S. ; CALMANT, S. ; SEYLER, F. ; PEREIRA, P. A. ; SILVA, M. O. . A seca de 2005 na bacia Amazônica monitorada pelo satélite altimétrico ENVISAT. In: XX Simpósio Brasileiro de Recursos Hídricos - XX SBRH, 2013, Bento Gonçalves - RS. Anais do XX Simpósio Brasileiro de Recursos Hídricos. Porto Alegre: ABRH, 2013, 2013. p. PAP013740.

6.
SILVA, J. S. ; CALMANT, S. ; SEYLER, F. ; RHASA Team . Satellite Altimetry for Hydrology. In: XX Simpósio Brasileiro de Recursos Hídricos - XX SBRH, 2013, Bento Gonçalves - RS. Anais do XX Simpósio Brasileiro de Recursos Hídricos. Porto Alegre: ABRH, 2013, 2013. p. PAP013798.

7.
SOUSA, A. C. ; SILVA, J. S. ; PEREIRA, P. A. ; CALMANT, S. ; SEYLER, F. . Interpolação diária de séries temporais altimétricas ao longo do rio Amazonas. In: XV Symposium SELPER, 2012, Cayenne. Proceeding of SELPER 2012 Symposium - Earth Observation for a Green Co-developed World, 2012.

8.
FIGLIUOLO, G. C. ; VERGASTA, L. A. ; OLIVEIRA, R. A. ; PEREIRA, P. A. ; SILVA, J. S. ; CORREIA, F. W. S. ; CALMANT, S. ; SEYLER, F. . Comparison of MERGE rainfall and water level variations by ENVISAT data in the Rio Negro Basin. In: XV Symposium SELPER, 2012, Cayenne. Proceeding of SELPER 2012 Symposium - Earth Observation for a Green Co-developed World, 2012.

9.
OLIVEIRA, R. A. ; SILVA, J. S. ; PEREIRA, P. A. ; CALMANT, S. ; SEYLER, F. . Caracterização do regime hidrológico do rio Paraguai utilizando dados da missão altimétrica ENVISAT. In: XV Symposium SELPER, 2012, Cayenne. Proceeding of SELPER 2012 Symposium - Earth Observation for a Green Co-developed World, 2012.

10.
CONCHY, T. S. X. ; PEREIRA, P. A. ; SILVA, J. S. ; CALMANT, S. ; SEYLER, F. . Variações temporais de níveis de água na bacia do Congo esimadas pelo satélite altimétrico ENVISAT. In: XV Symposium SELPER, 2012, Cayenne. Proceeding of SELPER 2012 Symposium - Earth Observation for a Green Co-developed World, 2012.

Resumos publicados em anais de congressos
1.
SOUSA, A. C. ; PEREIRA, P. A. ; SILVA, J. S. ; CALMANT, S. ; SEYLER, F. . Daily water level by ENVISAT altimetry of the Amazon River. In: AGU Meeting of the Americas, 2013, Cancun. Proceedings of the AGU Meeting ofthe Americas 2013, 14-17 May 2013, Cancun, Mexico. Washington DC: American Geophysical Union, 2013.

2.
FREITAS, F. M. ; VERGASTA, L. A. ; OLIVEIRA, R. A. ; SILVA, J. S. ; CORREIA, F. W. S. ; CALMANT, S. ; SEYLER, F. ; PEREIRA, P. A. . Comparison and analysis of climatology in the Madeira River using altimetry data and precipitation data. In: XV Symposium SELPER, 2012, Cayenne. Proceeding of SELPER 2012 Symposium - Earth Observation for a Green Co-developed World, 2012.

3.
VERGASTA, L. A. ; OLIVEIRA, R. A. ; FIGLIUOLO, G. C. ; SOUSA, A. C. ; SILVA, J. S. ; CORREIA, F. W. S. ; CALMANT, S. ; SEYLER, F. ; PEREIRA, P. A. . Comparason of the rainfall and water level variations in Amazon basing by ENVISAT data. In: XV Symposium SELPER, 2012, Cayenne. Proceeding of SELPER 2012 Symposium - Earth Observation for a Green Co-developed World, 2012.

4.
SILVA, J. S. ; CALMANT, S. ; SEYLER, F. ; MONTEIRO, A. ; MOREIRA, D. M. ; RHASA Team . Altimetry of the Amazon Basin Rivers. In: XV Symposium SELPER, 2012, Cayenne. Proceeding of SELPER 2012 Symposium - Earth Observation for a Green Co-developed World, 2012.



Eventos



Participação em eventos, congressos, exposições e feiras
1.
IEEE 27th International Symposium on Computer Architecture and High Performance Computing - SBAC-PAD. 2015. (Simpósio).

2.
XVI Simpósio em Sistemas Computacionais de Alto Desempenho - WSCAD.Verificação de Kernels em Programas CUDA usando Bounded Model Checking. 2015. (Simpósio).

3.
IV Simpósio Brasileiro de Engenharia de Sistemas Computacionais. 2014. (Simpósio).

4.
XV Symposium SELPER.Comparison of MERGE rainfall and water level variations by ENVISAT data in the Rio Negro Basin. 2012. (Simpósio).

5.
XIX Simpósio Brasileiro de Recursos Hídricos. 2011. (Simpósio).


Organização de eventos, congressos, exposições e feiras
1.
SILVA ; PEREIRA, P. A. . Dia Mundial da Água: O mundo tem sede porque temos fome. 2012. (Outro).




Página gerada pelo Sistema Currículo Lattes em 19/12/2018 às 7:22:22