É bacharel em Informática pela Universidade Federal do Paraná (1994), mestre em Informática pela Universidade Federal do Paraná (2000) e doutor em Engenharia Elétrica e Informática Industrial pela Universidade Tecnológica Federal do Paraná (2005). Atualmente é professor adjunto da Universidade Federal do Paraná. Suas áreas de interesse são: lógica, inteligência artificial, sistemas de alto desempenho e software livre.