O Grupo de Pesquisa em Formalizações Matemáticas da Cognição e Design (Forma) consiste em grupo de pesquisa interdepartamental que tem como objetivo pesquisar teorias, modelos e formalizações matemáticas da cognição humana e suas aplicações ao design de interação humano-computador. Trata-se da quarta iteração das pesquisas iniciadas pelo Núcleo de Interfaces Computacionais (2009-2012), seguidas pelo Laboratório de Psicologia da Computação (2012-2014) e Laboratório e Observatório de Ontologias Projetuais (2014-2022).
O funcionamento do grupo envolve docentes e discentes de graduação e pós-graduação do Departamento de Desenho Industrial (Centro de Artes) e do Programa de Pós-Graduação em Psicologia (PPGP) do Departamento de Psicologia Social e do Desenvolvimento (Centro de Ciências Humanas e Naturais) da UFES.
O Forma tem as ciências cognitivas como bases epistemológicas e a interação humano-computador como área de aplicação, atuando em duas linhas de pesquisa: 1) Modelagem Cognitiva, orientada ao desenvolvimento de teorias e modelos matemáticos da cognição humana; e 2) Interação Humano-Computador, dedicada ao projeto e avaliação sistemas computacionais baseados nos modelos propostos por pesquisas da linha 1.
Equipe (2024-2025)
