Francisco José Plácido da Cunha

Possui Doutorado em Informática (2019) e Mestrado (2014) pela Pontifícia Universidade Católica do Rio de Janeiro (CAPES 7) pesquisando nas áreas de Qualidade de Software (testes) em Sistemas Multiagentes. Graduou-se em Ciência da Computação pela Universidade Federal Fluminense (2004). Em 2011, ingressou no Laboratório de Engenharia de Software (LES) da PUC-Rio onde atuou em projetos junto a Petrobras e desenvolvendo pesquisas nas áreas de Teste e Qualidade de Software, Sistemas Multi-agentes e Inteligência Artificial. Desde 2013 vem atuando junto ao Instituto TECGRAF na pesquisa e desenvolvimento de sistemas de apoio à monitoração e ao planejamento logístico da área de Abastecimento da Petrobras. Entre os anos de 2004 e 2011 atuou como desenvolvedor, analista e engenheiro de sistemas em importantes empresas de consultoria do mercado para clientes como Rede GLOBO, Caixa Econômica Federal, Shell, Finivest, Firjan, Losango, ICATU, Citibank, dentre outros.

Informações coletadas do Lattes em 12/08/2025

Acadêmico

Formação acadêmica

Doutorado em Informática

2015 - 2019

Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio
Título: Uma Abordagem de Teste Baseado em Modelo para Sistemas Normativos Autônomos
Carlos José Pereira de Lucena. Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Palavras-chave: Agentes Normativos; Agentes BDI; Teste em Sistema Multiagente; Teste Baseado em Modelos.Grande área: Ciências Exatas e da TerraSetores de atividade: Pesquisa e desenvolvimento científico.

Mestrado em Informática

2012 - 2014

Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio
Título: JAT4BDI: UMA NOVA ABORDAGEM PARA TESTES DE AGENTES DELIBERATIVOS,Ano de Obtenção: 2014
Orientador: Carlos José Pereira de Lucena
Palavras-chave: Agentes BDI; Verificação de Sistemas Autônomos; Teste de Agentes.Grande área: Ciências Exatas e da Terra

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

1996 - 2004

Universidade Federal Fluminense

Idiomas

Inglês

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

Áreas de atuação

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

Participação em eventos

20th International Conference on Intelligent Agent Technology. Extending BDI Multiagent Systems with Agent Norms. 2018. (Congresso).

AAMAS - International Conference on Autonomous Agents and Multiagent Systems. 2017. (Congresso).

CBIS - Congresso Brasileiro de Informática em Saúde. Aprendizado de máquina na classificação de retinopatia diabética em fundoscopia. 2016. (Congresso).

WESAAC 2015 - Workshop-Escola de Sistemas de Agentes, seus Ambientes e apliCações. Verifying the behavior of agents in BDI4JADE with AspectJ. 2015. (Congresso).

ELA-ES: Primeira Escola Latino Americana de Engenharia de Software: Fundamentos e Estado da Arte. 2013. (Congresso).

WESAAC - Workshop Escola de Sistemas de Agentes, seus Ambientes e aplicações. Towards a fault model for BDI agents: an initial study. 2013. (Congresso).

Produções bibliográficas

SIRQUEIRA, TASSIO FERENZINI MARTINS ; VIANA, MARX LELES ; CUNHA, FRANCISCO JOSÉ PLÁCIDO DA ; NUNES, INGRID ; LUCENA, CARLOS JOSÉ PEREIRA DE . Data provenance in multi-agent systems: relevance, benefits and research opportunities. INTERNATIONAL JOURNAL OF METADATA, SEMANTICS AND ONTOLOGIES (PRINT) , v. 13, p. 9, 2018.
CUNHA, F. J. P. ; Tassio Ferenzini Martins Sirqueira ; Marx Leles Viana ; Carlos José Pereira de Lucena . Extending BDI Multiagent Systems with Agent Norms. WORLD ACADEMY OF SCIENCE, ENGINEERING AND TECHNOLOGY , v. 12, p. 302-309, 2018.
VIANA, MARX ; CAETANO, LAURO ; CUNHA, FRANCISCO ; ALENCAR, PAULO ; LUCENA, CARLOS . Governance in Adaptive Normative Multiagent Systems for the Internet of Smart Things: Challenges and Future Directions. In: 2018 IEEE International Conference on Big Data (Big Data), 2018, Seattle. 2018 IEEE International Conference on Big Data (Big Data), 2018. p. 5193.
CUNHA, F. J. P. ; Marx Leles Viana ; Marcio R. Rosemberg ; Carlos J. P. de Lucena . Verifying the behavior of agents in BDI4JADE with AspectJ. In: WESAAC - 9 Workshop-Escola de Sistemas de Agentes, seus Ambientes e apliCações, 2015, Rio de Janeiro. Proceedings WESAAC 2015, 2015.
Marx Leles Viana ; CUNHA, F. J. P. ; SANTOS NETO, B. ; ALENCAR, P. ; Lucena, C.J.P . A Framework for Supporting Simulation with Normative Agents. In: WESAAC 2015 - Workshop-Escola de Sistemas de Agentes, seus Ambientes e apliCações, 2015, Rio de Janeiro. Proceedings WESAAC 2015, 2015.
Marx Leles Viana ; ALENCAR, P. ; GUIMARAES, E. T. ; CUNHA, F. J. P. ; COWAN, D. ; Lucena, C.J.P . JSAN: A Framework to Implement Normative Agents. In: SEKE - International Conference on Software Engineering and Knowledge Engineering, 2015, Pittsburgh - USA. Proceedings of the International Conference on Software Engineering and Knowledge Engineering, 2015.
Ariel E. Endara ; Marx Leles Viana ; CUNHA, F. J. P. ; Lucena, C.J.P . Uma abordagem baseada em Sistemas Multiagentes para suporte a Telemedicina. In: WESAAC 2015 - Workshop-Escola de Sistemas de Agentes, seus Ambientes e apliCações, 2015, Rio de Janeiro. Proceedings WESAAC 2015, 2015.
CUNHA, F. J. P. ; Cirilo, E ; Lucena, C.J.P . Towards a fault model for BDI agents: an initial study. In: WESAAC - Workshop Escola de Sistemas de Agentes, seus Ambientes e aplicações, 2013, São Paulo. Towards a fault model for BDI agents: an initial study, 2013.
CUNHA, FRANCISCO ; VIANA, MARX ; SIRQUEIRA, TASSIO ; ROSEMBERG, MARCIO ; LUCENA, CARLOS . Understanding Normative BDI Agents Behavior. In: The 30th International Conference on Software Engineering and Knowledge Engineering, 2018, São Francisco - USA. org.crossref.xschema._1.Title@20b4db1, 2018. p. 221.
CUNHA, FRANCISCO ; COSTA, ANDREW DINIZ DA ; VIANA, MARX ; LUCENA, CARLOS JOSE PEREIRA DE . JAT4BDI: An Aspect-Based Approach for Testing BDI Agents. In: 2015 IEEE / WIC / ACM International Conference on Web Intelligence and Intelligent Agent Technology (WIIAT), 2015, Singapore. 2015 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT). p. 186.
VIANA, MARX ; ALENCAR, PAULO ; COWAN, DONALD ; GUIMARAES, EVERTON ; CUNHA, FRANCISCO ; LUCENA, CARLOS . The Development of Normative Autonomous Agents: An Approach. In: 2015 IEEE / WIC / ACM International Conference on Web Intelligence and Intelligent Agent Technology (WIIAT), 2015, Singapore. 2015 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT), 2015. p. 9.
CUNHA, FRANCISCO ; Tassio Ferenzini Martins Sirqueira ; Marx Leles Viana ; Carlos José Pereira de Lucena . Extending BDI Multiagent Systems with Agent Norms. WORLD ACADEMY OF SCIENCE, ENGINEERING AND TECHNOLOGY , 2018.
CUNHA, F. J. P. ; VENIERIS, R. ; VIANA, MARX ; LUCENA, CARLOS . Aprendizado de máquina na classificação de retinopatia diabética em fundoscopia. Congresso Brasileiro de Informática em Saúde , 2017.

Outras produções

CUNHA, F. J. P. . N-JAT4BDI: Um Framework para Teste de Sistemas Multiagente Normativos. 2018.

CUNHA, F. J. P. . NBDI4JADE: Um Framework para Desenvolvimento de Agentes Normativos. 2017.

CUNHA, F. J. P. . JAT4BDI: Um Framework para Teste de Agentes BDI. 2013.

Marcio R. Rosemberg ; CUNHA, F. J. P. ; PORTUGAL, R. ; PIVATELLI, J. ; SANTOS, L. T. ; MOURA, A. M. ; VENIERIS, R. ; RIELLO, E. ; OLIVIERI, B. ; ALVES, P. H. C. ; FERREIRA, M. G. ; LEITE, J. C. S. P. . Explorando o conceito de software consistente: um estudo ancorado em revisão colaborativa. 2017.

CUNHA, F. J. P. ; LUCENA, CARLOS JOSE PEREIRA DE . Checking the behavior of BDI4JADE agents using an aspect-based approach. 2017.

Marcio R. Rosemberg ; CUNHA, F. J. P. ; LUCENA, CARLOS JOSE PEREIRA DE ; SCHWABE, D. ; POGGI, M. . An architecture to mitigate buffer overflow attacks, using multi-agent system concepts. 2016.

Histórico profissional

Endereço profissional

Pontifícia Universidade Católica do Rio de Janeiro, Instituto Tecgraf. , Rua Marquês de São Vicente, 225, Gávea, 22451900 - Rio de Janeiro, RJ - Brasil, Telefone: (21) 35204000, URL da Homepage:

Experiência profissional

2013 - Atual

Instituto Tecgraf

Vínculo: Celetista, Enquadramento Funcional: Especialista Técnico II do Instituto Tecgraf, Carga horária: 40

Outras informações:
Atuando na análise e desenvolvimento de sistemas para o planejamento logístico de controle e monitoração dos suprimentos de petróleo da Petrobras.

Atividades

09/2013
Pesquisa e desenvolvimento, Instituto Tecgraf.,Linhas de pesquisa

2019 - Atual

Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio

Vínculo: Colaborador, Enquadramento Funcional: Estágios, Laboratório de Eng. de Software

Outras informações:
Estágio realizado Estágio Docência - Pós-graduação. Disciplina: Sistemas Multiagentes (Computação Autonômica, Confiança e Reputação, Normas, Raciocínio Social, Redes Sociais, Sistemas Auto-organizáveis, Agent-Directed Simulation, Uso de Técnicas da Engenharia de Software em SMAs, Testes em SMA) Carga horária 45h.

2018 - 2018

Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio

Vínculo: Bolsista, Enquadramento Funcional: Estágios, Laboratório de Eng. de Software

2018 - 2018

Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio

Vínculo: Bolsista, Enquadramento Funcional: Estágios, Laboratório de Eng. de Software

Outras informações:
Estágio realizado Estágio Docência - Graduação/Pós-graduação. Disciplina: Projeto de Sistemas de Software (Orientação a objetos, UML, Padrões de Arquitetura e projeto, Frameworks Orientados a Objetos, Linha de Produtos de Software, Gerencia de Projetos e Agentes de Software) Carga horária 45h.

2015 - 2018

Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio

Vínculo: Bolsista, Enquadramento Funcional: Estudante de Doutorado, Regime: Dedicação exclusiva.

2017 - 2017

Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio

Vínculo: Bolsista, Enquadramento Funcional: Estágios, Laboratório de Eng. de Software

2017 - 2017

Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio

Vínculo: Bolsista, Enquadramento Funcional: Estágios, Laboratório de Eng. de Software

2016 - 2016

Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio

Vínculo: Bolsista, Enquadramento Funcional: Estágios, Laboratório de Eng. de Software

2016 - 2016

Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio

Vínculo: Bolsista, Enquadramento Funcional: Estágios, Laboratório de Eng. de Software

2015 - 2015

Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio

Vínculo: Bolsista, Enquadramento Funcional: Estágios, Laboratório de Eng. de Software

2015 - 2015

Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio

Vínculo: Bolsista, Enquadramento Funcional: Estágios, Laboratório de Eng. de Software

2015 - 2015

Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio

Vínculo: Bolsista, Enquadramento Funcional: Estágios, Laboratório de Eng. de Software

2011 - 2014

Laboratório de Engenharia de Software

Vínculo: Colaborador, Enquadramento Funcional: Desenvolvedor e Pesquisador, Carga horária: 40, Regime: Dedicação exclusiva.

Outras informações:
Apoiando a implementação de pesquisas de alunos de mestrado e doutorado realizadas no Laboratório de Engenharia de Software e a partir de 2012 atuando em pesquisas próprias. Atuando no suporte a projetos do LES.

2008 - 2011

Stefanini It Solutions

Vínculo: Celetista, Enquadramento Funcional: Líder Técnico, Carga horária: 40, Regime: Dedicação exclusiva.

Outras informações:
Responsável pela manutenção dos sistemas da plataforma baixa e junto à equipe Mainframe na manutenção dos sistemas. Realizando o levantamento de novas funcionalidades, produção de requisitos e análise de impacto de quaisquer alterações

2007 - 2008

Dba Engenharia de Sistemas

Vínculo: Prestador de Serviços, Enquadramento Funcional: Líder Técnico, Carga horária: 40

Outras informações:
Atuação no desenvolvimento e manutenção de sistemas web, levantamento de novos requisitos, manutenções corretivas e evolutivas de diversos sistemas.

2005 - 2007

Living Consultoria

Vínculo: Celetista, Enquadramento Funcional: Analista e desenvolvedor, Carga horária: 40

Outras informações:
Atuação na modelagem, especificação, desenvolvimento e manutenção de diversos sistemas para a TV Globo e o grupo Globo de Comunicações e Produções.

2003 - 2005

UNISYS - DATAMEC

Vínculo: Celetista, Enquadramento Funcional: Analista e desenvolvedor, Carga horária: 40

Outras informações:
Atuação na modelagem, especificação, desenvolvimento e manutenção de diversos sistemas para o Ministério do Trabalho e Emprego.

1999 - 2003

Peopleware Tecnologia

Vínculo: Bolsista, Enquadramento Funcional: Estagiário, programador e analista, Carga horária: 40

Outras informações:
Atuação na análise e desenvolvimento de sistemas para diversos clientes (Firjan, Shell do Brasil, Losango, Secretaria do Tesouro Nacional e Citibank).