Nosso grupo tem como objetivo gerar resultados expressivos, teóricos e práticos, dentro do seguinte escopo:- Aplicação de modelos de fronteira oriundos da teoria da computação. * Desenvolvimento de novas arquiteturas para bases de conhecimento. * Desenvolvimento de novas interfaces humano - computador. - Aplicação de modelos computacionais na área de biotecnologia: * Uso de modelos formais e de DNA Computing em genética. + Aplicações em melhoria genética de animais. + Desenvolvimento de modelos para simulação. + Aplicações na área médica. - Pesquisa de modelos computacionais na área da aprendizagem algorítmica * Verificação da existência de identificação em espaços de máquinas. * Representações utilizando Turing - equivalências.
