O grupo se iniciou com três pesquisadores em meados de 2009 e hoje conta com nove, com asnovas linhas de pesquisa em Lógica Computacional e Percolação. O grupo já está consolidado e podemos citar como repercussões deste grupo:Fortalecer a pós-graduação conjunta do Departamento de Matemática e de Estatística, na medida que organiza linhas de pesquisa que julgamos consistentes em Matrizes e Análise Numérica , Lógica Computacional e Percolação no referido programa de pós-graduação.
