Rafael Melo Macieira

Possui graduação em Ciência da Computação pela Universidade Federal de Sergipe (2006), mestrado em 2011 e doutorado em 2018, ambos em ciência da computação pelo CIn/UFPE - Centro de informática da Universidade Federal de Pernambuco. Atualmente é gerente de pesquisa, desenvolvimento e inovação no Instituto SENAI de Inovação-TICs, em Pernambuco, onde também oi Pesquisador Industrial I e II. Tem experiência na área de Ciência da Computação, com ênfase em Hardware, atuando principalmente em áreas como Cyber-physical Systems, verificação formal, sistemas confiáveis, projeto e analise de sistemas embarcados, plataformas virtuais, sistemas operacionais, device drivers e arquitetura de computadores. Também tem experiencia com projeto, implementação e síntese de hardware. Conhecimento avançado nas linguagens C/C++, compilador GCC e debugger GDB, além de conhecimento avançando no sistema operacional Linux. Tem experiência profissional com o análise e modelagem de sistemas utilizando UML, além do desenvolvimento de aplicações Java EE e SE. Tem experiencia prática com os SGBDs PostgreSQL, SQLServer, Oracle, MySQL e Caché.

Informações coletadas do Lattes em 31/05/2024

Acadêmico

Formação acadêmica

Doutorado em Ciências da Computação

2013 - 2018

Universidade Federal de Pernambuco
Título: Técnica baseada em Contratos para a Validação da Comunicação de Alto Nível entre Software e Hardware
, Ano de obtenção: 2018. Edna Natividade da Silva Barros. Bolsista do(a): Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco, FACEPE, Brasil.

Mestrado em Programa de Pós-Graduação em Ciência da Computação

2009 - 2011

Universidade Federal de Pernambuco
Título: Um Mecanismo Baseado em Autômatos para a Validação de Device-Drivers em Projetos Baseados em Plataformas, Ano de Obtenção: 2011
Edna Natividade da Silva Barros.Coorientador: Edson Barbosa Lisboa. Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Palavras-chave: Hardware; Device Drivers; Sistemas Operacionais; Plataformas Virtuais.Grande área: Ciências Exatas e da Terra

Graduação em Ciência da Computação

2001 - 2006

Universidade Federal de Sergipe
Título: UMA FERRAMENTA PARA MONITORAMENTO REMOTO DE ELEMENTOS DE UMA REDE UTILIZANDO DISPOSITIVOS MÓVEIS
Orientador: Débora Maria Coelho Nascimento

Formação complementar

2007 - 2007

Curso Certificação Digital: Certisign III. (Carga horária: 16h). , Certisign Certificadora Digital S.A., CERTISIGN, Brasil.

2007 - 2007

Aplicações Seguras na WEB. (Carga horária: 24h). , Centro de Estudos Acançados Prof. Antônio Garcia Filho, CEA-AGF, Brasil.

2005 - 2005

Curso de Banco de dados Caché. (Carga horária: 60h). , Gestão Informção e Resultado, GIR, Brasil.

Idiomas

Inglês

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

Espanhol

Compreende Razoavelmente, Lê Razoavelmente.

Áreas de atuação

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação/Especialidade: Hardware.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação/Especialidade: Arquitetura de Sistemas de Computação.

Participação em eventos

15th International Symposium on Quality Electronic Design (ISQED).Towards more Reliable Embedded Systems through a Mechanism for Monitoring Driver Devices Communication. 2014. (Simpósio).

SBESC - Simpósio Brasileiro de Engenharia e Sistemas Computacionais.Device Driver Generation and Checking Approach. 2011. (Simpósio).

II Encontro Nordestino de Software Livre / I Encontro Sergipano de Software LIvre. 2007. (Encontro).

Congresso Brasileiro de Computação. 2004. (Congresso).

9 ENEJ - Encontro Nacional de Empresas Juniores. 2003. (Encontro).

III ERBASE - Escola Regional de Computação Bahia-Sergipe. 2003. (Congresso).

Congresso Brasileiro de Computação. 2002. (Congresso).

II ERBASE - Escola Regional de Computação Bahia-Sergipe. 2002. (Congresso).

I ERBASE - Escola Regional de Computação Bahia-Sergipe. 2001. (Congresso).

Participação em bancas

Aluno: Oziel do Carmo Alves

LIMA, R. M. F.; BASTOS FILHO, C. J. A.;MACIEIRA, R. M.. Fatores Críticos de Sucesso e Boas Práticas para Consolidação de Clusters de Tecnologia e Inovação Industrial: Estudo do Cluster de SUAPE. 2024. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

Aluno: Edson Moura Silva

ARAUJO, C. J. M.;MACIEIRA, R. M.; ANDRADE, E. C.. MODELAGEM E ANÁLISE DE MANUFATURAS TÊXTEIS. 2024. Dissertação (Mestrado em Informática Aplicada) - Universidade Federal Rural de Pernambuco.

Aluno: Geraldo Gomes da Cruz Júnior

MACIEIRA, R. M.; Callou G. R. A; Albuquerque G. A.. Modelos Heterogêneos para Previsão de Safras e Qualidade de Cultivo na Indústria Sucroenergética. 2019. Dissertação (Mestrado em Informática Aplicada) - Universidade Federal Rural de Pernambuco.

Aluno: Hugo Leonardo Nascimento Almeida

MACIEIRA, R. M.; CALEGARIO, F. C. A.; CORREIA, W. F. M.. INTERFERÊNCIA NO PROCESSO DE GESTÃO E DESENVOLVIMENTO EM PROJETOS DE SOFWATE DE CARÁTER INOVADOR COM A UTILIZAÇÃO DE UM MODELO DE GERENCIAMENTO ADAPTADO DO SCRUM. 2018 - Centro de Estudos e Sistemas Avançados do Recife.

Orientou

Oziel do Carmo Alves

Fatores Críticos de Sucesso e Boas Práticas para Consolidação de Clusters de Tecnologia e Inovação Industrial: Estudo do Cluster de SUAPE; 2024; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Pernambuco,; Coorientador: Rafael Melo Macieira;

Flaviano Gomes

Otimização de performance em interface de usuário de jogo eletrônico; 2008; Orientação de outra natureza - Lúmen Technology Sociedade Simples LTDA; , Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Rafael Melo Macieira;

Produções bibliográficas

Macieira, Rafael Melo ; BARROS, EDNA . Towards a greater reliability of driver/device communication around the system life cycle through a contract-based protocol specification. IET Cyber-Physical Systems: Theory & Applications , v. 3, p. 1, 2017.
CAMBUIM, L. F. S. ; MACIEIRA, R. M. ; PAULA NETO, F. M. ; Edna N. S. Barros ; LUDERMIR, T. B. ; ZANCHETTIN, C. . An Efficient Static Gesture Recognizer Embedded System Based on ELM Pattern Recognition Algorithm. Journal of Systems Architecture , v. 68, p. 1-16, 2016.
Macieira, Rafael Melo ; BARROS, EDNA . A Mechanism for Monitoring Driver-Device Communication. In: Markus Winterholer; Djones Lettnin. (Org.). Embedded Systems. 1ed.New York: Springer New York, 2017, v. , p. 133-158.
ROCHA, E. ; CHEVTCHENKO, S. F. ; CAMBUIM, L. F. S. ; MACIEIRA, R. M. . Optimized Pallet Localization Using RGB-D Camera and Deep Learning Models. In: International Conference on Intelligent Computer Communication and Processing (ICCP 2023), 2023, Cluj-Napoca. 2023 IEEE 19th International Conference on Intelligent Computer Communication and Processing (ICCP 2023), 2023.
Silva, D ; Gomes, A ; MACIEIRA, R. M. ; Silva, E ; Soares, S. C. B. . Pah Pum: Uma ferramenta para gestão de projetos baseada no TAKT PM. In: Brazilian Symposium on Software Engineering (SBES 2020), 2020, Natal. Brazilian Symposium on Software Engineering (SBES 2020), 2020.
Macieira, Rafael Melo ; BARROS, EDNA . TDevCGen: A synthesis toolset of HW/SW communication protocol monitors from high-level specifications. In: 2018 IEEE 19th LatinAmerican Test Symposium (LATS), 2018, Sao Paulo. 2018 IEEE 19th Latin-American Test Symposium (LATS), 2018. p. 1.
NETO, FERNANDO M. DE PAULA ; CAMBUIM, LUCAS F. ; MACIEIRA, RAFAEL M. ; LUDERMIR, TERESA B. ; ZANCHETTIN, CLEBER ; BARROS, EDNA N. . Extreme Learning Machine for Real Time Recognition of Brazilian Sign Language. In: 2015 IEEE International Conference on Systems, Man, and Cybernetics (SMC), 2015, Kowloon Tong. 2015 IEEE International Conference on Systems, Man, and Cybernetics. p. 1464.
MACIEIRA, R. M. ; CAMBUIM, L. F. S. ; SOUZA, L. L. ; OLIVEIRA, L. A. ; RIOS, M. F. R. ; Barros, E. . The Design of an Image Converting and Thresholding Hardware Accelerator. In: IV Simpósio Brasileiro de Engenharia de Sistemas Computacionais, 2014, SBESC. The Design of an Image Converting and Thresholding Hardware Accelerator, 2014.
MACIEIRA, RAFAEL M. ; BARROS, EDNA ; ASCENDINA, CAMILA . Towards more reliable embedded systems through a mechanism for monitoring driver devices communication. In: 2014 15th International Symposium on Quality Electronic Design (ISQED), 2014, Santa Clara. Fifteenth International Symposium on Quality Electronic Design. p. 420-427.
MACIEIRA, RAFAEL M. ; LISBOA, EDSON B. ; BARROS, EDNA N. S. . Device Driver Generation and Checking Approach. In: 2011 Brazilian Symposium on Computing System Engineering (SBESC), 2011, Florianopolis. 2011 Brazilian Symposium on Computing System Engineering. p. 72-168.
MACIEIRA, R. M. ; Edson B. Lisboa ; Edna N. S. Barros . Device Driver Generation and Checking Approach. 2011. (Apresentação de Trabalho/Simpósio).
MACIEIRA, R. M. . Aplicação e Desenvolvimento de Ferramentas para uso da Certificação Digital - Estudo de Caso: TJSE. 2007. (Apresentação de Trabalho/Conferência ou palestra).

Outras produções

MACIEIRA, R. M. . SIGNARE - Framework de assinatura digital e validaçãode documentos assinados. 2007.

Araújo, C. C. ; LIRA, P. ; MACIEIRA, R. M. ; BATISTA, Y. N. . Protótipo do Novo Conceito de Vending Machine da Coca-Cola. 2009.

Costa A. C. F ; CALEGARIO, F. C. A. ; Fonseca, L. S. S ; MACIEIRA, RAFAEL M. ; Soares, S. C. B. ; Neto, W. P. F. ; Guimarães, A. C. S. ; Santos, L. L. P. ; Santos, M. C. S. B. . Projeto Pedagógico do Curso de Engenharia de Software da Faculdade de Tecnologia SENAI Pernambuco. 2019.

MACIEIRA, R. M. ; Bispo, K. A. . Projeto Universidade à Distância.. 2007.

Projetos de pesquisa

2011 - 2012

Platform Designer - PDesigner, Descrição: Reestruturação ou reformulação da ferramenta de projetos de sistemas PDesigner PDesigner é uma ferramenta EDA que permite projetar arquiteturas de plataformas embarcadas. A partir de uma biblioteca de componentes, é possível selecionar modelos de processadores, barramentos e periféricos para compor uma plataforma virtual qua representa um sistema virtual em alto nível de abstração. A partir de um modelo definido, é possível executar binários compilados para a plataforma alvo sem a necessidade do hardware real.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Rafael Melo Macieira - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.

Prêmios

2014

2nd place overall in Brazil Intel Embedded Systems Competition 2014, Intel Corp..

Histórico profissional

Endereço profissional

SENAI - Departamento Regional de Pernambuco, Instituto SENAI de Inovação para Tecnologias da Informação e Comunicação. , Rua Frei Cassimiro, Santo Amaro, 50100260 - Recife, PE - Brasil, Telefone: (81) 32025120

Experiência profissional

2020 - Atual

Instituto SENAI de Inovação - Tecnologias da Informação e Comunicação

Vínculo: Celetista, Enquadramento Funcional: Gerente de P,D&I, Carga horária: 40

2019 - Atual

Instituto SENAI de Inovação - Tecnologias da Informação e Comunicação

Vínculo: Celetista, Enquadramento Funcional: Pesquisador Industrial II, Carga horária: 40

Outras informações:
A principal função deste cargo é liderar tecnicamente projetos de inovação aplicados à industria.

2016 - 2019

Instituto SENAI de Inovação - Tecnologias da Informação e Comunicação

Vínculo: Celetista, Enquadramento Funcional: Pesquisador Industrial I, Carga horária: 40

Outras informações:
A principal função deste cargo é liderar tecnicamente projetos de inovação aplicados à industria.

Atividades

12/2016
Pesquisa e desenvolvimento, RD&I Department.,Linhas de pesquisa

2011 - 2013

Universidade Federal de Pernambuco

Vínculo: Bolsista DTI - 1C, Enquadramento Funcional: Pesquisador, Regime: Dedicação exclusiva.

2014 - 2016

Intel Semicondutores do Brasil

Vínculo: Colaborador, Enquadramento Funcional: Intel Student Expert

2008 - 2009

Universidade Federal de Sergipe

Vínculo: Servidor Público, Enquadramento Funcional: Professor Substituto, Carga horária: 20

2007 - 2007

Universidade Federal de Sergipe

Vínculo: Contratado, Enquadramento Funcional: Analista de Sistemas / Consultor, Carga horária: 20

Outras informações:
Analise e Modelagem de uma aplicação para o projeto Ensino a Distância da UFS

2001 - 2003

Universidade Federal de Sergipe

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

Outras informações:
Projeto de Informatização da Biblioteca Central da Universidade Federal de Sergipe, financiada pela Fapese - Fundação de Apoio à Pesquisa de Sergipe. Tec: Asp; DB2

Atividades

05/2008 - 05/2009
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Estrutura de Dados 2 - Estruturas em arquivos, Introdução à Ciência da Computação, Programação 1 - Programação básica
03/2007 - 06/2007
Serviços técnicos especializados , Reitoria, CESAD.,Serviço realizado, Consultoria e analise do projeto.
04/2001 - 04/2003
Estágios , Biblioteca Central.,Estágio realizado, Contrução de Aplicações de Apoio na Biblioteca Central.

2005 - 2009

Tribunal de Justiça de Sergipe

Vínculo: Funcionário Concursado, Enquadramento Funcional: Técnico Judiciário, Carga horária: 6

Outras informações:
** Atualmente em Licença sem vencimentos devido ao mestrado Javascript; Desenvolvimento de Aplicações Web; Java: SE e EE; SGBD: Oracle e Caché; Serv. de Aplicação Tomcat; Frameworks: Hibernate; JPA; JSA;

2004 - 2004

Tribunal de Justiça de Sergipe

Vínculo: Estágio, Enquadramento Funcional: Estagiário, Carga horária: 4

2007 - 2009

Lúmen Technology Sociedade Simples LTDA.

Vínculo: Colaborador, Enquadramento Funcional: Analista de Sistemas, Carga horária: 20

Outras informações:
Analise e Modelagem de Aplicações Desenvolvimento de Aplicações Web e Desktop Javascript; Java: SE e EE; SGBD: PostgreSQL e SQLServer Frameworks: JSF; JPA; JSON;

Atividades

03/2007 - 03/2009
Serviços técnicos especializados , Gerência de Projetos.,Serviço realizado, Analise e Modelagem dos sistemas.

2020 - 2020

Universidade Católica de Pernambuco

Vínculo: Celetista, Enquadramento Funcional: Professor Assistente II, Carga horária: 20