Andrei de Araujo Formiga

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


Possui graduação em Engenharia Elétrica pela Universidade Federal de Campina Grande (2002), mestrado em Engenharia Elétrica pela Universidade Federal de Pernambuco (2006) e doutorado em Engenharia Elétrica pela Universidade Federal de Pernambuco (2011). Atualmente é Professor Adjunto da Universidade Federal da Paraíba, lotado no Departamento de Informática - Centro de Informática do Campus I. Atua como docente permanente no Programa de Pós-Graduação em Informática (PPGI) da UFPB. Tem experiência na área de Ciência da Computação, com ênfase em Linguagens de Programação, Inteligência Artificial e Aprendizado de Máquina. (Texto informado pelo autor)


Identificação


Nome
Andrei de Araujo Formiga
Nome em citações bibliográficas
FORMIGA, A. A.

Endereço


Endereço Profissional
Universidade Federal da Paraíba, Centro de Ciências Aplicadas e Educação, Departamento de Ciências Exatas.
Rua da Mangueira, s/n
Companhia de Tecidos Rio Tinto
58297000 - Rio Tinto, PB - Brasil
Telefone: (83) 32911212


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


2006 - 2011
Doutorado em Engenharia Elétrica.
Universidade Federal de Pernambuco, UFPE, Brasil.
Título: Algoritmos para Contagem de Referências Cíclicas em Sistemas Multiprocessados, Ano de obtenção: 2011.
Orientador: Rafael Dueire Lins.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico.
Palavras-chave: concorrência; contagem de referências; gerenciamento de memória.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação.
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Linguagens de Programação.
2004 - 2006
Mestrado em Engenharia Elétrica.
Universidade Federal de Pernambuco, UFPE, Brasil.
Título: Contagem de Referências em Sistemas Multiprocessados,Ano de Obtenção: 2006.
Orientador: Rafael Dueire Lins.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico.
Palavras-chave: contagem de referências; gerenciamento de memória.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação.
1995 - 2002
Graduação em Engenharia Elétrica.
Universidade Federal de Campina Grande, UFCG, Brasil.




Atuação Profissional



Universidade Federal da Paraíba, UFPB, Brasil.
Vínculo institucional

2010 - Atual
Vínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

08/2011 - Atual
Ensino, Licenciatura em Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Inteligência Artificial - 60h/aula
Teoria da Computação - 60h/aula
08/2011 - Atual
Ensino, INFORMÁTICA, Nível: Pós-Graduação

Disciplinas ministradas
Teoria da Computação
03/2011 - 07/2011
Ensino, Licenciatura em Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Inteligência Artificial - 60h/aula
Lógica Aplicada à Computação - 60h/aula
Paradigmas de Programação - 60h/aula
08/2010 - 12/2010
Ensino, Licenciatura em Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Lógica Aplicada à Computação - 60h/aula
Metodologia do Trabalho Científico - 60h/aula
Introdução ao Computador - 60h/aula

Centro Universitário de João Pessoa, UNIPÊ, Brasil.
Vínculo institucional

2006 - 2010
Vínculo: Colaborador, Enquadramento Funcional: Professor

Atividades

02/2008 - 06/2010
Ensino, Ciências da Computação, Nível: Graduação

Disciplinas ministradas
Construção de Compiladores I - 60h/aula
03/2006 - 06/2010
Ensino, Ciências da Computação, Nível: Graduação

Disciplinas ministradas
Construção de Compiladores II - 60h/aula
08/2007 - 12/2008
Ensino, Ciências da Computação, Nível: Graduação

Disciplinas ministradas
Linguagens Formais e Autômatos - 60h/aula
08/2006 - 12/2007
Ensino, Ciências da Computação, Nível: Graduação

Disciplinas ministradas
Estruturas de Dados II - 60h/aula

Faculdade Maurício de Nassau - Recife, UNINASSAU, Brasil.
Vínculo institucional

2008 - 2009
Vínculo: Colaborador, Enquadramento Funcional: Professor Mestre, Carga horária: 10
Outras informações
Disciplina Ministrada: - Inteligência Artificial, 2008.2 - 60 horas/aula

Atividades

08/2008 - 12/2008
Ensino, Sistemas de Informação, Nível: Graduação

Disciplinas ministradas
Inteligência Artificial - 60h/aula

Fundação de Apoio ao Desenvolvimento da Universidade Federal de Pernambuco, FADE/UFPE, Brasil.
Vínculo institucional

2009 - 2009
Vínculo: Colaborador, Enquadramento Funcional: Gerente Técnico, Carga horária: 20
Outras informações
Convênio Hewlett-Packard / UFPE Projeto de Pesquisa Better Printing II - Processamento e Classificação de Imagens para uma Melhor Qualidade de Impressão.

Atividades

03/2009 - 12/2009
Pesquisa e desenvolvimento , Convênio Hewlett-Packard, .


Associação Paraibana de Ensino Renovado, ASPER, Brasil.
Vínculo institucional

2006 - 2007
Vínculo: Colaborador, Enquadramento Funcional: Professor, Carga horária: 10

Atividades

09/2006 - 02/2007
Ensino, Bacharelado em Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Construção de Compiladores II - 60 h/aula

Hardcode Entertainment, HARDCODE, Brasil.
Vínculo institucional

2000 - 2000
Vínculo: Colaborador, Enquadramento Funcional: Engenheiro de Software, Carga horária: 20
Outras informações
Bolsista ITI

Atividades

02/2000 - 12/2000
Estágios , Desenvolvimento, .

Estágio realizado
Estágio com Bolsa ITI-A.

Light-Infocon Tecnologia S/A, LIGHT-INFOCON, Brasil.
Vínculo institucional

2001 - 2002
Vínculo: Colaborador, Enquadramento Funcional: Engenheiro de Software, Carga horária: 20

Atividades

05/2001 - 11/2002
Estágios , Desenvolvimento, .

Estágio realizado
Estágio.

Sollipsis Interactive, SOLLIPSIS, Brasil.
Vínculo institucional

2003 - 2003
Vínculo: Colaborador, Enquadramento Funcional: Diretor de Desenvolvimento, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

01/2003 - 11/2003
Direção e administração, Desenvolvimento, .

Cargo ou função
Diretor de Desenvolvimento.


Linhas de pesquisa


1.
Reconhecimento de Padrões em Documentos
2.
Classificação de Documentos


Áreas de atuação


1.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Linguagens de Programação.
2.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação.


Idiomas


Inglês
Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Razoavelmente.
Francês
Compreende Razoavelmente, Fala Razoavelmente, Lê Razoavelmente, Escreve Razoavelmente.
Italiano
Compreende PoucoLê Razoavelmente.


Produções



Produção bibliográfica
Artigos completos publicados em periódicos

1.
MATTOS, G.G.2008MATTOS, G.G. ; FORMIGA, A. A. ; LINS, R.D. ; CARVALHO JR, F. H. ; MARTINS, F.M.J. . Comparative Aspects between the Cluster and Grid Implementations of BigBatch. Journal of Universal Computer Science, v. 14, p. 3031-3050, 2008.

2.
FORMIGA, A. A.2007 FORMIGA, A. A.; Rafael Dueire Lins . A New Architecture for Concurrent Lazy Cyclic Reference Counting on Multi-Processor Systems. Journal of Universal Computer Science, v. 2007, p. 817-829, 2007.

Trabalhos completos publicados em anais de congressos
1.
LUCENA, D. C. G. ; SAMPAIO, G. B. ; FORMIGA, A. A. . A Probabilistic Programming Approach to Naive Bayes Text Classification. In: Encontro Nacional de Inteligência Artificial e Computacional (ENIAC), 2013, Fortaleza. Anais do X Encontro Nacional de Inteligência Artificial e Computacional, 2013.

2.
GURGEL, S. T. A. ; FORMIGA, A. A. . Parallel Implementation of Feedforward Neural Networks on GPUs. In: Brazilian Conference on Intelligent Systems (BRACIS), 2013, Fortaleza. Proceedings of the 2nd Brazilian Conference on Intelligent Systems (BRACIS 2013), 2013.

3.
FARIAS, G. ; PROCOPIO, L. D. P. ; NETTO, D. P. S. ; FORMIGA, A. A. ; BRITO, A. V. . Tutor hipermídia baseado no modelo de autoria NCM para o Interpretador Gráfico de Estrutura de Dados. In: Workshop sobre Educação em Computação, 2012, Curitiba. Anais do XXXII Congresso da Sociedade Brasileira de Computação, 2012.

4.
FORMIGA, A. A.; LINS, R.D. ; SIMSKE, S.J. ; DISPOTO, G. ; THIELO, M. . An Assessment of Data Matrix Barcode Recognition under Scaling, Rotation and Cylindrical Warping. In: ACM Symposium on Applied Computing, 2011, Taiwan. Proceedings of the ACM SAC 2011, 2011.

5.
LINS, R.D. ; PEREIRA, Gabriel de F. ; FORMIGA, A. A. . HistDoc v. 2.0: enhancing a platform to process historical documents. In: HIP '11 - 2011 Workshop on Historical Document Imaging and Processing, 2011, Pequim, China. Proceedings of the 2011 Workshop on Historical Document Imaging and Processing. Nova Iorque: ACM Press, 2011. p. 169-176.

6.
FORMIGA, A. A.; FARIAS, G. ; BRITO, A. V. . Um Interpretador de Comandos e Avaliador Gráfico para o Ensino de Estrutura de Dados. In: Workshop de Ensino da Informática (WEI), 2011, Natal. Anais do XXXI Congresso da Sociedade Brasileira de Computação. Porto Alegre: Sociedade Brasileira da Computação, 2011.

7.
FORMIGA, A. A.; LINS, R.D. . Efficient Removal of Noisy Borders of Monochromatic Documents. In: International Conference on Image Analysis and Recognition, 2009, Halifax, Canada. Proceedings of ICIAR 2009. Heidelberg: Springer-Verlag, 2009. v. 5627. p. 158-167.

8.
FORMIGA, A. A.; LINS, R.D. . Efficient Implementation of the Pi-Calculus on the Java Virtual Machine. In: Workshop on Languages and Tools for Parallel and Distributed Programming - LTPD, 2009, Gramado. Proceedings of the LTPD 2009, 2009.

9.
MATTOS, G.G. ; FORMIGA, A. A. ; LINS, R.D. ; MARTINS, F.M.J. . BigBatch: A Document Processing Platform for Clusters and Grids. In: 23rd ACM Symposium on Applied Computing, 2008, Fortaleza. Proceedings of the ACM-SAC 2008. New York: ACM Press, 2008.

10.
MATTOS, G.G. ; FORMIGA, A. A. ; LINS, R.D. ; CARVALHO JR, F. H. . A Comparison of Cluster and Grid Configurations Executing Image Processing Tasks in a Local Network. In: ICN08 - 7th International Conference on Computer Networks, 2008, Cancun. Proceedings of ICN2008. New York: IEEE Press, 2008.

11.
Rafael Dueire Lins ; ÁVILA, Bruno Tenório ; FORMIGA, A. A. . BigBatch: An Environment for Processing Monochromatic Documents. In: ICIAR - International Conference on Image Analysis and Recognition, 2006, Póvoa do Varzim. Lecture Notes in Computer Science - Third International Conference, ICIAR 2006, Póvoa de Varzim, Portugal, September 18-20, 2006, Proceedings, Part II. Heidelberg: Springer-Verlag, 2006. v. 4142. p. 886-896.

Resumos expandidos publicados em anais de congressos
1.
FARIAS, G. ; COSTA, E. J. F. ; BRITO, A. V. ; FORMIGA, A. A. . Um Ambiente para Ensino de Programação com Avaliação Automática de Corretude e Eficiência. In: Congresso Brasileiro de Software (CBSoft), 2012, Natal. Anais do V Fórum de Educação em Engenharia de Software (FEES 2012), 2012.



Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
SOUZA FILHO, G. L.; FORMIGA, A. A.; FURTADO, M. E.. Participação em banca de Danilo Assis N. dos Santos Silva. Uma Linguagem Formal e Expansível para Descrição de Sinais da Língua Brasileira de Sinais. 2012. Dissertação (Mestrado em INFORMÁTICA) - Universidade Federal da Paraíba.

2.
TAVARES, T. A. ; FORMIGA, A. A.; TRINTA, F. . Participação em banca de André Felipe Palmeira. Desenvolvimento de uma Ontologia para Modelar Acessibilidade e Conteúdo Multiplataforma. 2011. Dissertação (Mestrado em INFORMÁTICA) - Universidade Federal da Paraíba.

Trabalhos de conclusão de curso de graduação
1.
Dantas, P. L.; FORMIGA, A. A.; ASSIS, A. M. L.. Participação em banca de Felipe Faustino de Souza.LEGO: Um Roteiro para Desenvolvimento em Linhas de Produto de Software. 2006. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Centro Universitário de João Pessoa.




Orientações



Orientações e supervisões concluídas
Dissertação de mestrado
1.
Tiago Davi Neves de Sousa. Um Interpretador Gráfico de Comandos baseado na JVM como ferramenta de ensino de Programação, Algoritmos e Estruturas. 2013. Dissertação (Mestrado em Informática) - Universidade Federal da Paraíba, . Orientador: Andrei de Araujo Formiga.

Trabalho de conclusão de curso de graduação
1.
Rafael de O. G. Abrantes. Desenvolvimento de Aplicações Móveis para Symbian OS. 2008. Trabalho de Conclusão de Curso. (Graduação em Ciências da Computação) - Centro Universitário de João Pessoa. Orientador: Andrei de Araujo Formiga.

2.
Giovanni G. da S. Vaz. Desenvolvimento de Jogos Utilizando Ferramentas Livres. 2008. Trabalho de Conclusão de Curso. (Graduação em Ciências da Computação) - Centro Universitário de João Pessoa. Orientador: Andrei de Araujo Formiga.

3.
Davi Delgado Clerot. Desenvolver um Sistema de Transferência de Quotas de Capital da UNICRED João Pessoa. 2007. Trabalho de Conclusão de Curso. (Graduação em Ciências da Computação) - Centro Universitário de João Pessoa. Orientador: Andrei de Araujo Formiga.

4.
Luiz Augusto Bezerra Florentino Filho. Mobilegolf: Um Sistema para Auxiliar Golfista. 2007. Trabalho de Conclusão de Curso. (Graduação em Ciências da Computação) - Centro Universitário de João Pessoa. Orientador: Andrei de Araujo Formiga.




Página gerada pelo Sistema Currículo Lattes em 18/10/2018 às 9:33:12