research line of Grupo de Física Teórica e Computacional Grupo de Pesquisa Teoria da Computação Grupo de Pesquisa