You are here

GEATC :: Grupo de Estudos e Aplicações de Teoria da Computação

  • Chamadas/Avisos:
  • Descrição:
    • O Grupo de Estudos e Aplicações de Teoria da Computação foi criado em 2013 no Câmpus Ponta Grossa da UTFPR com a meta principal de agregar pesquisadores que atuam nas áreas de Fundamentos da Computação, Teoria da Computação, Algoritmos & Complexidade, Métodos Formais e inclusive Linguagens de Programação.
  • Linhas de Pesquisa:
    • Algoritmos em Grafos.
    • Análise de Algoritmos e Avaliação de Desempenho de Sistemas Computacionais.
    • Teoria da Prova.
    • Lógica e Raciocínio aplicados a Sistemas Multiagentes.
  • Pesquisadores da UTFPR:
    • Gleifer Vaz Alves, Saulo Queiroz, Sheila Morais de Almeida, Tânia Lúcia Monteiro.
  • Pesquisadores colaboradores:
    • Leandro Miranda Zatesko,
    • Silvio Luiz Bragatto Boss
  • Alunos de IC:
    • Cristhian Rafael Gomes Bonilha, Diogo Machado Gonçalves,
    • Fabiano Almeida Rosas, Kelvin Eikiti Matsumoto,
    • Gisele Furtado, Christian Gama, Wesley, Lucas Castro, Matheus Junior.
  • Projetos:
    • PIBIC 2012-2013
    • Título: Especificação Formal do Framework de Domínio FrameMK através do método RAISE/RSL.
  • Publicações:
  • Orientações de TCC:
    1. Adriano e Luiz Gusthavo - "Implementação de um Algoritmo para Verificação de Ciclos em Grafos-de-Prova" - maio/2011.
    2. Daniel Vaz - "Representação Computacional para Grafos-de-Prova" - junho/2012.
    3. Tatiane Dobrzanski - "Modelagem organizacional de um sistema multiagente através do modelo Moise+" - março/2013.