membro de Engenharia de Sistemas e Informação Grupo de Pesquisa Formal methods, Artificial Intelligence, and Logic in Computer Science (FRAME) Grupo de Pesquisa Laboratório MídiaCom - Comunicação de Dados Multimídia Grupo de Pesquisa