Este grupo engloba pesquisadores das áreas de Informática, Lógica e Matemática do Instituto Federal de Santa Catarina, os quais realizam pesquisas nas áreas de métodos formais, semântica formal, aprendizagem de máquina, mineração de dados, algoritmos genéticos, além de matemática e lógica aplicada a computação.Todos os integrantes deste grupo de pesquisa, que inclui professores, técnicos e alunos, têm experiência em uma ou mais das áreas de informática, lógica e matemática.
