Possui graduação em Licenciatura Plena em Matemática pela Universidade Estadual Paulista Júlio de Mesquita Filho (2009), mestrado em Filosofia pela Universidade Estadual Paulista Júlio de Mesquita Filho (2012) e doutorado em Filosofia pela Universidade Estadual de Campinas (2016). Tem experiência na área de Matemática, com ênfase em Lógica Matemática, atuando principalmente nos seguintes temas: traduções entre lógicas, lógicas não clássicas e métodos de prova.