Mairon de Araújo Belchior

  • Endereço para acessar este CV: http://lattes.cnpq.br/0224540713605812
  • Última atualização do currículo em 27/11/2018


Possui doutorado em Computação pela Universidade Federal Fluminense, UFF (2017), mestrado em Informática pela Pontifícia Universidade Católica do Rio de Janeiro, PUC-RJ (2011) e graduação em Ciência da Computação pela Universidade de Fortaleza - UNIFOR (2008). Foi bolsista de iniciação científica pelo CNPq (2004 - 2006) e pela Funcap (2008). Participou do Programa de Intercâmbio Acadêmico na Ball State University, Muncie, IN, EUA (2007). Tem experiência na área de Ciência da Computação, atuando principalmente nas seguintes áreas: Sistemas Multi-Agentes, Conflitos Normativos, Ontologias e Web Semântica. (Texto informado pelo autor)


Identificação


Nome
Mairon de Araújo Belchior
Nome em citações bibliográficas
BELCHIOR, Mairon;BELCHIOR, MAIRON


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


2014 - 2017
Doutorado em Computação.
Universidade Federal Fluminense, UFF, Brasil.
Título: Detecção de Potenciais Conflitos Normativos que Dependem da Ordem de Execução dos Eventos nos Sistemas Multi-Agentes, Ano de obtenção: 2017.
Orientador: Viviane Torres da Silva.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
Palavras-chave: Runtime Normative Conflict; Conflict Detection; Conflict Resolution; Multi-agent Systems; Ontology.
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação / Especialidade: Inteligência Artificial.
2009 - 2011
Mestrado em Informática.
Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio, Brasil.
Título: Modelo de Controle de Acesso no Projeto de Aplicações na Web Semântica,Ano de Obtenção: 2011.
Orientador: Daniel Schwabe.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
Palavras-chave: Semantic Web; Ontology; Access Control Model.
Grande área: Ciências Exatas e da Terra
2003 - 2008
Graduação em Ciência da Computação.
Universidade de Fortaleza, UNIFOR, Brasil.
Título: Cálculo de Rotas Seguras no Google Maps a partir de Mapas de Kernel.
Orientador: João José Vasco Peixoto Furtado.


Pós-doutorado


2018
Pós-Doutorado.
Universidade Federal de Pelotas, UFPEL, Brasil.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.


Formação Complementar


2013 - 2013
Introdução à Linguagem Lua. (Carga horária: 40h).
LabLua, LABLUA, Brasil.
2012 - 2012
Curso Java - Módulo Web. (Carga horária: 54h).
Orion Consultoria e Treinamento LTDA, OCT, Brasil.
2005 - 2005
The Upper Level Course. (Carga horária: 127h).
Instituto Brasil - Estados Unidos no Ceará, IBEU-CE, IBEU, Brasil.
2004 - 2004
Extensão universitária em Oficina de Desenvolvimento de Aplicações. (Carga horária: 40h).
Universidade de Fortaleza, UNIFOR, Brasil.
2000 - 2004
The Basic to Intermediate Level Course. (Carga horária: 547h).
Instituto Brasil - Estados Unidos no Ceará, IBEU-CE, IBEU, Brasil.


Atuação Profissional



Universidade Federal Fluminense, UFF, Brasil.
Vínculo institucional

2014 - 2017
Vínculo: Bolsista CAPES, Enquadramento Funcional: Bolsista de Doutorado, Regime: Dedicação exclusiva.

Atividades

02/2015 - 12/2017
Pesquisa e desenvolvimento , Centro Tecnológico, Escola de Engenharia.

02/2016 - 07/2016
Ensino, Sistemas de Informação, Nível: Graduação

Disciplinas ministradas
Estágio em docência na disciplina de Programação de Computadores I (TCC 00.308) em curso de graduação em Sistemas de Informação da UFF - 64h/aula
02/2015 - 07/2015
Ensino, Sistemas de Informação, Nível: Graduação

Disciplinas ministradas
Estágio em docência na disciplina de Programação de Computadores I (TCC 00.173) em curso de graduação em Sistemas de Informação da UFF - 102h/aula

Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio, Brasil.
Vínculo institucional

2009 - 2011
Vínculo: Bolsista CAPES, Enquadramento Funcional: Bolsista de Mestrado, Regime: Dedicação exclusiva.
Outras informações
Lotado no laboratório Tecweb da Puc-Rio.

Atividades

02/2010 - 05/2012
Pesquisa e desenvolvimento , Pontifícia Universidade Católica do Rio de Janeiro - PUC-Rio, .


Minds At Work Sistemas e Projetos, MINDS, Brasil.
Vínculo institucional

2011 - 2013
Vínculo: Celetista formal, Enquadramento Funcional: Analista de Desenvolvimento de Sistemas, Regime: Dedicação exclusiva.


Ball State University, B.S.U.*, Estados Unidos.
Vínculo institucional

2007 - 2007
Vínculo: Intercâmbio Acadêmico, Enquadramento Funcional: Estudante de Intercâmbio Acadêmico, Regime: Dedicação exclusiva.
Outras informações
Estudante de Intercâmbio Acadêmico na Ball State University, Muncie, IN, EUA, por dois semestres. Foram cursadas disciplinas acadêmicas de Ciência da Computação e ESL (English as a Second Language).


Universidade de Fortaleza, UNIFOR, Brasil.
Vínculo institucional

2008 - 2009
Vínculo: Bolsista da Funcap, Enquadramento Funcional: Bolsista de Iniciação Científico-Tecnológica, Carga horária: 40, Regime: Dedicação exclusiva.
Outras informações
Lotado na célula de pesquisa Engenharia do Conhecimento da UNIFOR

Vínculo institucional

2004 - 2006
Vínculo: Bolsista, Enquadramento Funcional: Bolsista de Iniciação Científica - CNPq, Carga horária: 25, Regime: Dedicação exclusiva.
Outras informações
Lotado na célula de pesquisa Engenharia do Conhecimento da UNIFOR

Atividades

02/2008 - 02/2009
Pesquisa e desenvolvimento , Universidade de Fortaleza, .

9/2004 - 12/2006
Pesquisa e desenvolvimento , Universidade de Fortaleza, .



Linhas de pesquisa


1.
Sistemas de Informações Geográficas
2.
Teoria dos Grafos
3.
Inteligência Artificial
4.
Sistemas Multiagentes
5.
Sistemas Colaborativos
6.
Projeto de Aplicações na Web Semântica
7.
Sistemas Multi-Agentes
8.
Detecção e Resolução de Conflitos Normativos
9.
Ontologias
10.
Políticas


Projetos de pesquisa


2008 - 2009
Mapeamento Colaborativo da Criminalidade
Descrição: Esse projeto visa investigar mecanismos de colaboração na web para participação social em problemas de Segurança Pública através do site WikiCrimes. Além de atacar problemáticas específicas da área de Segurança Pública, como a subnotificação, o projeto visa investigar a criação de algoritmos de reputação e de mineração de dados de forma a suportar a colaboração de um grande número de pessoas de forma confiável. Extensões de WikiCrimes para a web semântica fazem igualmente parte desse contexto de pesquisa.
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (2) / Doutorado: (1) .
Integrantes: Mairon de Araújo Belchior - Integrante / João José Vasco Peixoto Furtado - Coordenador / Leonardo Ayres - Integrante / Carlos Caminha - Integrante.
2004 - 2006
Geosimulação da Criminalidade
Descrição: Este projeto pretende investigar como simulações através de sistemas multi-agentes em ambiente de geo-processamento podem ser utilizadas para a compreensão de fenômenos sociais. Em particular, ele se concentra no domínio da Segurança Pública servindo para compreensão da relação entre a criminalidade e a alocação da força policial em uma determinada área geográfica. Uma ferramenta de simulação foi desenvolvia para auxiliar na investigação de diferentes estratégias de reorganização de rotas de patrulhas policiais. Tal ferramenta permite a análise de diferentes formas de reorganização física de agentes para o controle da criminalidade em uma sociedade de agentes composta de policiais, criminosos e pontos notáveis. A Reorganização física é utilizada quando se necessita alterar a posição dos agentes sem a necessidade de alterar suas propriedades, comportamentos ou estrutura organizacional.
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (4) / Mestrado acadêmico: (5) / Doutorado: (2) .
Integrantes: Mairon de Araújo Belchior - Integrante / João José Vasco Peixoto Furtado - Coordenador.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.


Á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: Sistemas de Informação.
2.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Engenharia de Software.
3.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação/Especialidade: Inteligência Artificial.


Idiomas


Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Espanhol
Compreende Bem, Fala Pouco, Lê Bem, Escreve Pouco.
Português
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.


Prêmios e títulos


2005
2o Lugar - área de Ciências Exatas e Tecnológicas - no XI Encontro de Iniciação à Pesquisa da Unifor, Unifor.


Produções



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

1.
FURTADO, Vasco2010FURTADO, Vasco ; AYRES, Leonardo ; DE OLIVEIRA, Marcos ; VASCONCELOS, Eurico ; BELCHIOR, Mairon ; CAMINHA, Carlos ; DORLEANS, Johnatas . Collective Intelligence on Law Enforcement: The WikiCrimes System. Information Sciences, v. 180, p. 4-17, 2010.

Capítulos de livros publicados
1.
DA SILVA, VIVIANE TORRES ; VASCONCELOS, W. W. ; SANTOS, J. S. ; ZAHN, J. O. ; BELCHIOR, MAIRON . Modeling Normative Conflicts in Multi-Agent Systems. Handbook of Normative Multiagent Systems. 1ed.: College Publications, 2018, v. , p. 57-71.

2.
FURTADO, Vasco ; MELO, Adriano ; COELHO, André Luís Vasconcelos ; MENEZES, Ronaldo ; BELCHIOR, Mairon . Simulating Crime against Properties using Swarm Intelligence and Social Networks. In: Lin Liu; John Eck. (Org.). Artificial Crime Analysis Systems: Using Computer Simulations and Geographic Information Systems, Chapter XV. 1ed.Hershey: Information Sciense Reference, 2008, v. , p. 300-318.

3.
MELO, Adriano ; BELCHIOR, Mairon ; FURTADO, Vasco . Analyzing Police Patrol Routes by Simulating the Physical Reorganization of Agents. In: Jaime S. Sichman; Luis Antunes. (Org.). Multi-Agent-Based Simulation VI Lecture Notes in Computer Science. 1ed.Heidelberg: Springer Berlin Heidelberg, 2006, v. 3891, p. 99-114.

Trabalhos completos publicados em anais de congressos
1.
BELCHIOR, Mairon; SANTOS, J. S. ; DA SILVA, V. T. . Strategies for Resolving Normative Conflict That Depends on Execution Order of Runtime Events in Multi-Agent Systems. In: 10th International Conference on Agents and Artificial Intelligence (ICAART 2018), 2018, Funchal, Madeira, Portugal. Proceedings of the 10th International Conference on Agents and Artificial Intelligence, 2018. p. 216-223.

2.
BELCHIOR, Mairon; DA SILVA, V. T. . Detection of Runtime Normative Conflict Based on Execution Scenarios. In: The Thirteenth International Conference on Autonomic and Autonomous Systems (ICAS 2017), 2017, Barcelona, Spain. Proceedings of the Thirteenth International Conference on Autonomic and Autonomous Systems, 2017. p. 12-18.

3.
BELCHIOR, Mairon; DA SILVA, V. T. . Detection of Runtime Normative Conflict in Multi-Agent Systems based on Execution Scenarios. In: 19th International Conference on Enterprise Information Systems (ICEIS), 2017, Porto, Portugal. Proceedings of the 19th International Conference on Enterprise Information Systems, 2017. p. 646.

4.
BELCHIOR, Mairon; DA SILVA, V. T. . Detection of normative conflict that depends on execution order of runtime events in multi-agent systems. In: IEEE/WIC/ACM International Conference on Web Intelligence (WI'17), 2017, Leipzig, Germany. Proceedings of the IEEE/WIC/ACM International Conference on Web Intelligence - WI '17. New York: ACM Press, 2017. p. 372.

5.
BELCHIOR, Mairon; SCHWABE, Daniel ; PARREIRAS, Fernando Silva . Role-Based Access Control for Model-Driven Web Applications. In: 12th International Conference on Web Engineering ICWE 2012, 2012, Berlin, Germany. Web Engineering Lecture Notes in Computer Science. Heidelberg: Springer Berlin, 2012. v. 7387. p. 106-120.

6.
FURTADO, Vasco ; DE OLIVEIRA, Marcos ; FONTELES, André ; DUQUE, Cícero ; BELCHIOR, Mairon ; DORLEANS, Johnatas . Um Método para Identificar Atividades Maliciosas em Sistemas Colaborativos com Mapas. In: Workshop de Algoritmos e Aplicações de Mineração de Dados (WAAMD), 2009, Fortaleza. V Workshop em Algoritmos e Aplicações de Mineração de Dados. Campinas: SBC, 2009. p. 42-49.

7.
FURTADO, Vasco ; MELO, Adriano ; MENEZES, Ronaldo ; BELCHIOR, Mairon . Using Self-Organization in an Agent Framework to Model Criminal Activity in Response to Police Patrol Routes. In: International Florida Artificial Intelligence Research Society Conference - FLAIRS, 2006, Melbourne Beach, Florida, USA. Proceedings of the Nineteenth International Florida Artificial Intelligence Research Society Conference. Menlo Park, CA: AAAI Press, 2006. v. 1. p. 68-73.

8.
MELO, Adriano ; BELCHIOR, Mairon ; FURTADO, Vasco . Analyzing Police Patrol Routes with the Simulation of the Physical Reorganization of Agents. In: 6th International Workshop on Multi-Agent Based Simulation (MABS?05), 2005, Utrecht, The Netherlands. Proceedings of the 6th International Workshop on Multi-Agent Based Simulation (MABS?05). Berlin: Springer-Verlag, 2005. p. 93-106.

Resumos expandidos publicados em anais de congressos
1.
FURTADO, Vasco ; ASSUNÇÃO, Thiago ; DE OLIVEIRA, Marcos ; BELCHIOR, Mairon ; DORLEANS, Johnatas . A Method for identifying Malicious Activity in Collaborative Systems with Maps. In: The International Conference on Advances in Social Networks Analysis and Mining (ASONAM), 2009, Atenas, Grécia. Proceedings of the 2009 International Conference on Advances in Social Network Analysis and Mining (ASONAM'09). Washington, DC, USA: IEEE Computer Society, 2009. v. 1. p. 334-337.

2.
BELCHIOR, Mairon; MELO, Adriano ; FURTADO, Vasco . Analisando Rotas de Patrulhas Policiais com a Simulação de Reorganização Física de Agentes. In: Mundo UNIFOR - XI Encontro de Iniciação à Pesquisa, 2005, Fortaleza. XI ENCONTRO DE INICIAÇÃO À PESQUISA DA UNIFOR, 2005.

Apresentações de Trabalho
1.
BELCHIOR, Mairon; MELO, Adriano ; FURTADO, Vasco . Analisando Rotas de Patrulhas Policiais com a Simulação de Reorganização Física de Agentes. 2005. (Apresentação de Trabalho/Outra).



Bancas



Participação em bancas de trabalhos de conclusão
Trabalhos de conclusão de curso de graduação
1.
BELCHIOR, I. M. R. M.; STEINER, L. R.; BELCHIOR, Mairon. Participação em banca de Luiz Henrique Zanivan Martinello.Desenvolvimento de Software Educacional para Determinação de Empuxos de Terra e Estabilidade de Muros de Gravidade. 2016. Trabalho de Conclusão de Curso (Graduação em Engenharia Civil) - Universidade do Extremo Sul Catarinense.




Eventos



Participação em eventos, congressos, exposições e feiras
1.
9o Workshop-Escola de Sistemas de Agentes, seus Ambientes e Aplicações. 2015. (Seminário).

2.
Primeira Fase Brasileira da Maratona de Programação da ACM-ICPC South America - Contest w/ Brazil.Maratona de Programação da ACM-ICPC South America. 2008. (Encontro).

3.
Primeira Fase Brasileira da Maratona de Programação da ACM-ICPC South America - Contest w/ Brazil.Maratona de Programação da ACM-ICPC South America. 2006. (Encontro).

4.
Primeira Fase Brasileira da Maratona de Programação da ACM-ICPC South America - Contest w/ Brazil.Maratona de Programação da ACM-ICPC South America. 2005. (Encontro).

5.
XI Encontro de Iniciação à Pesquisa da UNIFOR.Analisando Rotas de Patrulhas Policiais com a Simulação de Reorganização Física de Agentes. 2005. (Encontro).

6.
3a Semana de Tecnologia da Unifor. 2004. (Encontro).

7.
Primeira Fase Brasileira da Maratona de Programação da ACM-ICPC South America - Contest w/ Brazil.Maratona de Programação da ACM-ICPC South America. 2004. (Encontro).

8.
II Simpósio Brasileiro de Qualidade de Software. 2003. (Simpósio).



Outras informações relevantes


Conhecimento e experiência em Java, C/C++, Python e Ruby com framework Ruby on Rails.
Conhecimento e experiência em linguagens para Web Semântica: RDF, RDFS, OWL,
SPARQL, SWRL e N3Logic.



Página gerada pelo Sistema Currículo Lattes em 17/12/2018 às 6:33:11