membro de Formal methods, Artificial Intelligence, and Logic in Computer Science (FRAME) Grupo de Pesquisa