Main menu
User login
You are here
GEATC :: Grupo de Estudos e Aplicações de Teoria da Computação
- Chamadas/Avisos:
- Chamada para alunos de IC - 2013 - Professor Gleifer.
- Maiores informações.
- 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:
- Adriano e Luiz Gusthavo - "Implementação de um Algoritmo para Verificação de Ciclos em Grafos-de-Prova" - maio/2011.
- Daniel Vaz - "Representação Computacional para Grafos-de-Prova" - junho/2012.
- Tatiane Dobrzanski - "Modelagem organizacional de um sistema multiagente através do modelo Moise+" - março/2013.
arquivo:
