Possui graduação (2002), mestrado (2005) e doutorado (2009) em Ciência da Computação pela Pontifícia Universidade Católica do Rio Grande do Sul. Passou 2 anos em doutorado sanduiche na Universidade de Karlsruhe, Alemanha. Atualmente é professor adjunto da Universidade Federal do Rio Grande do Sul e credenciada no Programa de Pós-Graduação em Computação (PPGC). É co-lider do grupo de pesquisa Φ - Robotics Research Group (http://www.inf.ufrgs.br/phi-group/). Suas principais áreas de interesse são: Robótica Móvel, Robótica Intervalar, Computação Verificada e Computação de Alto Desempenho.
