Professor efetivo no Instituto Federal de Brasília, pesquisador associado à Universidade de Brasília e editor associado na organização Lógica no Avião, com doutorado e mestrado em filosofia pela Unicamp e graduação em matemática pela Unesp.