Francisco José Silva Macário

Engenheiro de Software formado na Universidade Federal do Rio Grande do Norte. Almeja realizar um trabalho na área da tecnologia da informação de modo a promover uma maior qualidade de vida e facilidade nas atividades realizadas pelas pessoas. Ser reconhecido por um trabalho realizado que foi relevante para a vida das pessoas envolvidas. Possui experiência na área de Informática, manutenção de computadores e programação: programas desktop, Android e sistemas web. Realiza estudo de pós-graduação na linha de pesquisa de métodos formais.

Informações coletadas do Lattes em 30/03/2026

Acadêmico

Formação acadêmica

Mestrado em andamento em Sistemas e Computação

2015 - Atual

Universidade Federal do Rio Grande do Norte
Orientador:Marcel Vinícius Medeiros Oliveira.

Graduação em Engenharia de Software

2010 - 2015

Universidade Federal do Rio Grande do Norte
Título: Um implementação verificada de abstração CSP
Orientador: Dr. Marcel Vinícius Medeiros Oliveira

Ensino Médio (2º grau)

2008 - 2009

Faculdade de Ciências Cultura e Extensão do Rio Grande do Norte

Idiomas

Inglês

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

Português

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

Áreas de atuação

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: Métodos Formais.

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

Organização de eventos

OLIVEIRA, M. V. M. ; MACÁRIO, F. J. S. ; ALMEIDA, D. ; CONSERVA, M. ; BARROCAS, S. . 2016 - Escola de Informática Teórica e Métodos Formais. 2016. (Outro).

OLIVEIRA, M. V. M. ; MACÁRIO, F. J. S. ; ALMEIDA, D. ; CONSERVA, M. ; BARROCAS, S. . 2016 - Simpósio Brasileiro de Métodos Formais. 2016. (Congresso).

Participação em eventos

2016 - Escola de Informática Teórica e Métodos Formais. 2016. (Outra).

2016 - Simpósio Brasileiro de Métodos Formais. 2016. (Simpósio).

CBSoftware. 2012. (Congresso).

62ª Reunião Anual da SBPC. 2010. (Congresso).

Produções bibliográficas

MACÁRIO, F. J. S. ; OLIVEIRA, M. V. M. . Hard-wiring CSP Hiding: Implementing Channel Abstraction to Generate Verified Concurrent Hardware. 2015. (Apresentação de Trabalho/Simpósio).
MACÁRIO, F. J. S. ; OLIVEIRA, M. V. M. . Uma implementação verificada de abstração CSP. 2015. (Apresentação de Trabalho/Outra).

Outras produções

Aplicativo Conta Certa. 2015.

Projetos de pesquisa

2012 - 2015

Extensão Ferramenta de tradução de especificação Formal, Descrição: Extensão Ferramenta de tradução de especificação Formal, em CSP, para linguagem de programação de alto-nível, Handel-C.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (1) . , Integrantes: Francisco José Silva Macário - Integrante / Marcel Vinícius Medeiros Oliveira - Coordenador.

Histórico profissional

Experiência profissional

2015 - 2015

Universidade Federal do Rio Grande do Norte

Vínculo: Voluntário, Enquadramento Funcional: Desenvolvedor Java, Carga horária: 20

Outras informações:
Desenvolvedor de software para tradução automatizada de Linguagem de especificação (CSP) para linguagem de Alto nível, compilada (Handel-c).

2014 - 2015

Universidade Federal do Rio Grande do Norte

Vínculo: Bolsista, Enquadramento Funcional: Desenvolvedor Java, Carga horária: 20

Outras informações:
Desenvolvedor de software para tradução automatizada de Linguagem de especificação (CSP) para linguagem de Alto nível, compilada (Handel-c).

2012 - 2014

Universidade Federal do Rio Grande do Norte

Vínculo: Bolsista, Enquadramento Funcional: Desenvolvedor Java, Carga horária: 20

Outras informações:
Desenvolvedor de software para tradução automatizada de Linguagem de especificação (CSP) para linguagem de Alto nível, compilada (Handel-c).

2015 - Atual

Superintendência de Informática - UFRN

Vínculo: , Enquadramento Funcional: Programador de Sistemas web, Carga horária: 40

Outras informações:
Desenvolvimento do Sistema Integrado de Patrimônio, Administração e Contratos (SIPAC).

2013 - 2015

Superintendência de Informática - UFRN

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

Outras informações:
Fez parte da equipe de Controle de Qualidade (Testes de Software) dos Sistemas da UFRN. Atualmente é desenvolvedor Mobile.