Possui graduação em Processamento de Dados pela Universidade de Brasília (1986), mestrado em Ciência da Computação pela Universidade Federal do Rio Grande do Sul (1991) e doutorado em Ciência da Computação pelo Institut National Polytechnique de Grenoble (1996). Atualmente é Professor Titular da Universidade de Brasília e IEEE Senior Member. Tem experiência na área de Ciência da Computação, atuando principalmente nos seguintes temas: bioinformatics, high performance computing, distributed shared memory, cloud computing, memory consistency models, cluster computing, GPUs e FPGAs.