João Guilherme Faccin

Bolsista de Doutorado do CNPq

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


Possui graduação em Sistemas Para Internet pela Universidade Tecnológica Federal do Paraná (2013) e mestrado em Computação pela Universidade Federal do Rio Grande do Sul (2016). Atualmente é aluno de doutorado da Universidade Federal do Rio Grande do Sul. Tem experiência na área de Inteligência Artificial, com ênfase em Agentes de Software. Seus principais interesses de pesquisa incluem Engenharia de Software Orientada a Agentes, Agentes BDI e Sistemas Multiagentes. (Texto informado pelo autor)


Identificação


Nome
João Guilherme Faccin
Nome em citações bibliográficas
FACCIN, J. G.;FACCIN, JOAO;FACCIN, JOAO GUILHERME;FACCIN, J.;Faccin, João;FACCIN, JOÄO

Endereço


Endereço Profissional
Universidade Federal do Rio Grande do Sul, Instituto de Informática, Departamento de Informática Aplicada.
AC Campus da UFRGS
Agronomia
91501970 - Porto Alegre, RS - Brasil
Telefone: (54) 99195910


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


2016
Doutorado em andamento em Computação.
Universidade Federal do Rio Grande do Sul, UFRGS, Brasil.
Orientador: Ingrid Oliveira de Nunes.
Grande área: Ciências Exatas e da Terra
2014 - 2016
Mestrado em Computação.
Universidade Federal do Rio Grande do Sul, UFRGS, Brasil.
Título: Preference and Context-based BDI Plan Selection using Machine Learning: from Models to Code Generation,Ano de Obtenção: 2016.
Orientador: Ingrid Oliveira de Nunes.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Palavras-chave: Software Agents; BDI architecture; Plan selection process; Agent-oriented software engineering.
Grande área: Ciências Exatas e da Terra
2011 - 2013
Graduação em Sistemas Para Internet.
Universidade Tecnológica Federal do Paraná, UTFPR, Brasil.
Título: Visualização Interativa para o Ensino de Programação Lógica em Prolog.
Orientador: Eleandro Maschio Krynski.
2006 - 2008
Ensino Médio (2º grau).
ESI - Colégio Scalabrini, ESI, Brasil.




Formação Complementar


2013 - 2013
Introdução ao Banco de Dados Oracle. (Carga horária: 2h).
Universidade Tecnológica Federal do Paraná, UTFPR, Brasil.
2013 - 2013
Segurança em Aplicações Web com Mod_Security. (Carga horária: 3h).
Universidade Tecnológica Federal do Paraná, UTFPR, Brasil.
2013 - 2013
Aplicações Web Modernas. (Carga horária: 2h).
Universidade Tecnológica Federal do Paraná, UTFPR, Brasil.
2013 - 2013
Inglês - Módulo I. (Carga horária: 100h).
Universidade Tecnológica Federal do Paraná, UTFPR, Brasil.
2012 - 2012
Desenvolvimento Web Usando Ruby e Sinatra. (Carga horária: 4h).
Universidade Tecnológica Federal do Paraná, UTFPR, Brasil.
2012 - 2012
Introdução ao Desenvolvimento em Android. (Carga horária: 4h).
Universidade Tecnológica Federal do Paraná, UTFPR, Brasil.


Atuação Profissional



Universidade Federal do Rio Grande do Sul, UFRGS, Brasil.
Vínculo institucional

2016 - Atual
Vínculo: Bolsista, Enquadramento Funcional: Aluno de Doutorado, Carga horária: 40, Regime: Dedicação exclusiva.

Vínculo institucional

2015 - 2016
Vínculo: Bolsista, Enquadramento Funcional: Monitor, Carga horária: 10
Outras informações
Monitor do curso de Especialização em Engenharia de Software - modalidade EAD

Vínculo institucional

2014 - 2016
Vínculo: Bolsista, Enquadramento Funcional: Aluno de Mestrado, Carga horária: 40, Regime: Dedicação exclusiva.


Universidade Tecnológica Federal do Paraná, UTFPR, Brasil.
Vínculo institucional

2013 - 2013
Vínculo: Monitoria Remunerada, Enquadramento Funcional: Monitor de Estrutura de Dados I, Carga horária: 15

Vínculo institucional

2013 - 2013
Vínculo: Monitoria Remunerada, Enquadramento Funcional: Monitor de Programação para Internet II, Carga horária: 15



Projetos de pesquisa


2015 - Atual
Detecção de Regras Arquiteturais e suas Violações Baseada em Código-Fonte

Projeto certificado pelo(a) coordenador(a) Ingrid Oliveira de Nunes em 11/02/2016.
Descrição: A falta de documentação arquitetural e a detecção de violações arquiteturais são problemas que vem sendo explorados em estudos recentes na área de Engenharia de Software. Contudo, os resultados desses estudos ainda são muito dependentes de verificações de especialistas devido à baixa precisão atingida utilizando unicamente as técnicas propostas. Na maioria das abordagens é necessário a intervenção de um arquiteto de software para verificar manualmente os resultados, o que é uma tarefa que demanda esforço e conhecimento da aplicação alvo da análise. Além disso, essa tarefa é suscetível a erros, pois a verificação é feita principalmente de forma manual analisando todos os elementos da arquitetura, verificando seus papéis na arquitetura e cada uma das regras arquiteturais que regem o software. Em um sistema de grande porte, essa verificação é impraticável. Assim, a proposta deste projeto é abordar essas limitações propondo novas técnicas para facilitar a conformidade arquitetural e evitar as violações arquiteturais. Para atingirmos nosso objetivo, nossa abordagem propõe: (i) aplicação de técnicas de aprendizado de máquina e teoria dos grafos para identificação de regras arquiteturais; e (ii) avaliações estáticas das regras geradas juntamente da investigação da evolução do código fonte para detectar violações, padrões e anti-padrões arquiteturais. Para validação e experimentação dessas novas técnicas serão desenvolvidas ferramentas, além da extensão da ferramenta ArchViz, para apoiar os arquitetos de software nas tarefas de manter a arquitetura em conformidade e detectar violações com menos esforço e de forma mais automática..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico: (3) Doutorado: (1) .
Integrantes: João Guilherme Faccin - Integrante / Vanius Zapalowski - Integrante / Ingrid Oliveira de Nunes - Coordenador / Daltro José Nunes - Integrante / Jhonny Marcos Acordi Mertz - Integrante / Cristiano Werner Araújo - Integrante.
2014 - Atual
BDI4JADE: uma Plataforma de Agentes BDI

Projeto certificado pelo(a) coordenador(a) Ingrid Oliveira de Nunes em 03/03/2015.
Descrição: Várias plataformas de agentes que implementam a arquitetura BDI (do inglês, belief-desire-intention) foram propostas. Mesmo que a maioria delas seja implementada com base em linguagens de programação de propósito geral existentes, por exemplo Java, agentes são programados ou em uma nova linguagem de programação ou um linguagem específica de domínio (LED) expressa em XML. Como conseqüência, isso impede o uso de recursos avançados da linguagem de programação subjacente e a integração com bibliotecas e frameworks já existentes, que são essenciais para o desenvolvimento de aplicações corporativas. Devido a essas limitações das plataformas de agentes BDI, BDI4JADE foi implementada. Esta plataforma foi desenvolvida como uma camada BDI sobre o JADE, uma plataforma de agentes largamente utilizada. Neste projeto, propõe-se uma série de extensões a esta plataforma, a fim de torná-la mais robusta e dar suporte à sua adoção em larga escala. BDI4JADE foi disponibilizada como software livre desde maio de 2011. A plataforma já atingiu mais de 300 downloads, realizados a partir de mais de 40 países..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico: (3) Doutorado: (1) .
Integrantes: João Guilherme Faccin - Integrante / Michael Luck - Integrante / Vanius Zapalowski - Integrante / Ingrid Oliveira de Nunes - Coordenador / Jacob Stein - Integrante / Fernando Landell de Moura Ruaro - Integrante / Daltro José Nunes - Integrante.
2014 - Atual
Abordagem Dirigida a Modelos para a Seleção de Planos em Agentes BDI
Descrição: Sistemas multi-agentes compostos por agentes cognitivos é uma abordagem promissora para resolver problemas atuais em diferentes domínios, que envolvem sistemas cada vez mais autônomos e pró-ativos. Um dos modelos mais amplamente utilizados para o desenvolvimento de agentes cognitivos é o modelo BDI (do inglês, belief-desire-intention). Uma de suas principais vantagens é a flexibilidade de se escolher entre diferentes planos para atingir um objetivo e, para alcançar este benefício, algoritmos especializados devem ser selecionados. Apesar de diversas técnicas terem sido propostas abordando o processo de seleção de planos --- bem como outros aspectos de agentes BDI --- elas exigem muitas customizações e adaptações para ser usadas em aplicações específicas, exigindo conhecimento especialista para serem adotadas, o que é uma verdadeira barreira para a adoção em larga escala desse tipo de tecnologia de agentes. Neste projeto, propõe-se uma abordagem baseada em modelos que permite a modelagem de agentes BDI instanciados de um modelo BDI estendido, que omite detalhes de implementação permitindo o seu uso por desenvolvedores de software mainstream. Instâncias deste modelo serão então utilizadas para a geração automática de código fonte de agentes com capacidades cognitivas avançadas como, por exemplo, a seleção de um plano adequado de acordo com um dado contexto. Este projeto será desenvolvido por pesquisadores e alunos de pós-graduação do Programa de Pós-graduação da UFRGS juntamente com pesquisadores da King's College London..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico: (3) Doutorado: (1) .
Integrantes: João Guilherme Faccin - Integrante / Michael Luck - Integrante / Vanius Zapalowski - Integrante / Ingrid Oliveira de Nunes - Coordenador / Jacob Stein - Integrante / Fernando Landell de Moura Ruaro - Integrante / Simon Miles - Integrante / Daltro José Nunes - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.


Áreas de atuação


1.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação.
2.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Inteligência Artificial.
3.
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.


Idiomas


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


Prêmios e títulos


2016
Indicação para prêmio de melhor ferramenta do VII Congresso Brasileiro de Software: Teoria e Prática, Sociedade Brasileira de Computação.
2013
Menção Honrosa do curso de Tecnologia em Sistemas para Internet, Universidade Tecnológica Federal do Paraná.


Produções



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

1.
FACCIN, J.2018 FACCIN, J.; NUNES, I. . Remediating critical cause-effect situations with an extended BDI architecture. EXPERT SYSTEMS WITH APPLICATIONS, v. 95, p. 190-200, 2018.

2.
FACCIN, J.2017 FACCIN, J.; NUNES, I. . A tool-supported development method for improved BDI plan selection. ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE, v. 62, p. 195-213, 2017.

3.
NUNES, INGRID2016NUNES, INGRID ; FACCIN, JOAO GUILHERME . Modelling and implementing modularised BDI agents with capability relationships. International Journal of Agent-Oriented Software Engineering (Print), v. 5, p. 203-231, 2016.

Capítulos de livros publicados
1.
Faccin, João; NUNES, INGRID ; Bazzan, Ana . Understanding the Behaviour of Learning-Based BDI Agents in the Braess Paradox. In: Jan Ole Berndt; Paolo Petta; Rainer Unland. (Org.). Lecture Notes in Computer Science. 1ed.: Springer International Publishing, 2017, v. , p. 187-204.

Trabalhos completos publicados em anais de congressos
1.
FACCIN, JOAO; NUNES, INGRID . Cleaning up the mess: a formal framework for autonomously reverting BDI agent actions. In: 13th International Conference on Software Engineering for Adaptive and Self-Managing Systems, 2018, Gothenburg. Proceedings of the 13th International Conference on Software Engineering for Adaptive and Self-Managing Systems - SEAMS '18. New York: ACM, 2018. p. 108-118.

2.
FACCIN, JOAO; WENG, J. H. ; NUNES, INGRID . Sam: a Tool to Ease the Development of Intelligent Agents. In: VII Congresso Brasileiro de Software: Teoria e Prática, 2016, Maringá. VII Congresso Brasileiro de Software: Teoria e Prática - Sessão de Ferramentas, 2016. p. 89-96.

3.
FACCIN, JOAO; NUNES, INGRID . BDI-Agent Plan Selection Based on Prediction of Plan Outcomes. 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. 166.

Resumos expandidos publicados em anais de congressos
1.
FACCIN, J.; NUNES, INGRID . Raciocínio Causal em Agentes BDI: um Modelo Abstrato. In: XI Workshop-Escola de Sistemas de Agentes, seus Ambientes e apliCações (WESAAC 17), 2017, São Paulo. Anais do XI Workshop-Escola de Sistemas de Agentes, seus Ambientes e apliCações (WESAAC 2017), 2017. p. 211-216.

2.
FACCIN, JOAO; NUNES, INGRID . Modelling and Reasoning about Remediation Actions in BDI Agents. In: 16th International Conference on Autonomous Agents & Multiagent Systems - AAMAS 2017, 2017, São Paulo. Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems. Richland: International Foundation for Autonomous Agents and Multiagent Systems, 2017. p. 1526-1528.

Apresentações de Trabalho
1.
FACCIN, JOAO; NUNES, INGRID . Cleaning up the mess: a formal framework for autonomously reverting BDI agent actions. 2018. (Apresentação de Trabalho/Conferência ou palestra).

2.
FACCIN, J.; NUNES, INGRID . Raciocínio Causal em Agentes BDI: um Modelo Abstrato. 2017. (Apresentação de Trabalho/Outra).

3.
FACCIN, JOAO; NUNES, INGRID . Modelling and Reasoning about Remediation Actions in BDI Agents. 2017. (Apresentação de Trabalho/Conferência ou palestra).

4.
Faccin, João. A Inteligência Artificial na Solução de Problemas Complexos. 2017. (Apresentação de Trabalho/Conferência ou palestra).

5.
FACCIN, JOAO; WENG, J. H. ; NUNES, INGRID . Sam: a Tool to Ease the Development of Intelligent Agents. 2016. (Apresentação de Trabalho/Congresso).


Produção técnica
Programas de computador sem registro
1.
FACCIN, JOAO; WENG, J. H. ; NUNES, INGRID . Sam: a Tool to Ease the Development of Intelligent Agents. 2016.

Trabalhos técnicos
1.
FACCIN, J.. Revisor Adicional - 9th Multi-Agent Systems: Theory and Applications (MASTA) - Thematic Track of the 18th Portuguese Conference on Artificial Intelligence (EPIA). 2017.

2.
FACCIN, J.. Revisor Adicional - 15th German Conference on Multiagent System Technologies (MATES). 2017.

3.
FACCIN, J.. Revisor Adicional - 15th International Conference on Practical Applications of Agents and Multi-Agent Systems (PAAMS). 2017.

4.
FACCIN, J.. Revisor Adicional - XXXI Brazilian Symposium on Software Engineering (SBES) - Insightful Ideas and Emerging Results Track. 2017.

5.
FACCIN, J.. Revisor - Revista de Informática Teórica e Aplicada (RITA). 2017.

6.
FACCIN, J.. Revisor Adicional - 15th European Conference on Multi-Agent Systems (EUMAS). 2017.

7.
FACCIN, J.. Revisor Adicional - 9º Workshop-Escola de Sistemas de Agentes, seus Ambientes e apliCações (WESAAC). 2015.



Eventos



Participação em eventos, congressos, exposições e feiras
1.
13th International Conference on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2018). Cleaning up the mess: a formal framework for autonomously reverting BDI agent actions. 2018. (Congresso).

2.
16th International Conference on Autonomous Agents & Multiagent Systems (AAMAS 2017). Modelling and Reasoning about Remediation Actions in BDI Agents. 2017. (Congresso).

3.
XI Workshop-Escola de Sistemas de Agentes, seus Ambientes e apliCações (WESAAC 2017).Raciocínio Causal em Agentes BDI: um Modelo Abstrato. 2017. (Outra).

4.
VII Congresso Brasileiro de Software: Teoria e Prática (CBSoft 2016). Sam: a Tool to Ease the Development of Intelligent Agents. 2016. (Congresso).

5.
2nd Latin-American School on Software Engineering (ELA-ES). 2015. (Outra).

6.
VIII Workshop-Escola de Sistemas de Agentes, seus Ambientes e apliCações (WESAAC 2014). 2014. (Outra).

7.
II Ciclo de Palestras - UTFPR Câmpus Guarapuava. 2013. (Seminário).

8.
Front in Curitiba. 2012. (Outra).

9.
I Semana Acadêmica de Tecnologia em Sistemas para Internet. 2012. (Outra).

10.
ExpoUT - Câmpus Guarapuava. 2011. (Outra).

11.
IV JAI/UNICENTRO - IV Jornada de Atualização em Informática da UNICENTRO. 2011. (Outra).


Organização de eventos, congressos, exposições e feiras
1.
NUNES, I. O. ; DANTAS, F. ; LUCENA, C. J. P. ; NUNES, D. J. ; FACCIN, J. G. . 2nd Latin-American School on Software Engineering (ELA-ES). 2015. (Outro).



Educação e Popularização de C & T



Apresentações de Trabalho
1.
Faccin, João. A Inteligência Artificial na Solução de Problemas Complexos. 2017. (Apresentação de Trabalho/Conferência ou palestra).



Outras informações relevantes


Participante do Grupo de Pesquisa Prosoft (http://www.inf.ufrgs.br/prosoft/), do Departamento de Informática da Universidade Federal do Rio Grande do Sul (UFRGS).



Página gerada pelo Sistema Currículo Lattes em 15/10/2018 às 10:59:09