membro de Anéis de Grupo e Anéis Não-Comutativos Grupo de Pesquisa Sistemas estocásticos com interação de alcance variável com aplicações à biologia e à linguística Grupo de Pesquisa Teoria da Computação, Combinatória e Otimização Grupo de Pesquisa
theses/dissertations advising Autômatos sincronizados e a Conjectura de Cerný Sistemas de Arquivos Distribuídos Estruturas Gráficas de Matrizes Automorfismos de grafos Compatibilidade de Extensoes de Matroides. Serviços de pertinência para clusters de alta disponibilidade. Sistema de Arquivos Especializado para Correio Eletrônico Complexidade de Problemas Multilineares Uma Aplicacao da Topologia Algebrica A Teoria dos Grafos. Programacao Por Objetos: Conceitos, Linguagens e Uma Experiencia. Estrutura grafica de matrizes