Andrei de Araújo Formiga

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.

Informações coletadas do Lattes em 16/06/2023

Acadêmico

Formação acadêmica

Doutorado em Engenharia Elétrica

2006 - 2011

Universidade Federal de Pernambuco
Título: Algoritmos para Contagem de Referências Cíclicas em Sistemas Multiprocessados
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.

Mestrado em Engenharia Elétrica

2004 - 2006

Universidade Federal de Pernambuco
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.

Graduação em Engenharia Elétrica

1995 - 2002

Universidade Federal de Campina Grande

Idiomas

Inglês

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

Italiano

Compreende PoucoLê Razoavelmente.

Francês

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

Áreas de atuaçã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.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação.

Participação em bancas

Aluno: Danilo Assis N

SOUZA FILHO, G. L.;FORMIGA, A. A.; FURTADO, M. E.. 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.

Aluno: André Felipe Palmeira

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

Aluno: Felipe Faustino de Souza

Dantas, P. L.;FORMIGA, A. A.; ASSIS, A. M. L.. 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.

Orientou

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;

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;

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;

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;

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;

Produções bibliográficas

MATTOS, 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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.

Histórico profissional

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

Experiência profissional

2010 - Atual

Universidade Federal da Paraíba

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

Atividades

08/2011
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
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

2006 - 2010

Centro Universitário de João Pessoa

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

2008 - 2009

Faculdade Maurício de Nassau - Recife

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

2009 - 2009

Fundação de Apoio ao Desenvolvimento da Universidade Federal de Pernambuco

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, .,Linhas de pesquisa

2006 - 2007

Associação Paraibana de Ensino Renovado

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

2000 - 2000

Hardcode Entertainment

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.

2001 - 2002

Light-Infocon Tecnologia S/A

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.

2003 - 2003

Sollipsis Interactive

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.