Trabalha com sistemas de arquivos há mais de dez anos e, em seu doutorado, pesquisa a combinação de sistemas de arquivos semânticos com a análise de conceitos formais para melhorar a interação entre ...