Licenciado em Matemática e Mestre em Física pela UFPR. Doutor em Filosofia pela USP, com estágios de Pós-Doutorado na Stanford University e na University of South Carolina. Atualmente trabalha na área de lógica e fundamentos, com especial ênfase em modelos de ZF e variações.
Disciplinas ministradas: CMI023