Docente do Departamento de Matemática (MAT) do Instituto de Matemática e Estatística da USP.

Possui graduação em Bacharelado em Física pela Universidade de São Paulo (03/1987-03/1991), mestrado em Matemática pela Universidade de São Paulo (03/1992-08/1997), doutorado em Matemática pela Universidade de São Paulo (08/1997-02/2003), pós-doutorado na UNICAMP (05/2003-11/2004) e dois pós-doutorados pela Universidade Paris 7 (05/2007-02/2008 e 07/2022-06/2023). Foi professor doutor (RDIDP) do Departamento de Matemática do Instituto de Matemática e Estatística da Universidade de São Paulo (MAT-IME-USP) (11/2004-11/2011). Realizou livre docência em 11/2011 e tornou-se professor associado 1 (RDIDP) do MAT-IME-USP (12/2011-09/2021), depois professor associado 2 (10/2021-8/2025) e atualmente é professor associado 3 do MAT-IME-USP. No período 04/2014-03/2018 foi vice-coordenador do Programa de Pós-Graduação em Matemática (PPG-MAT) do IME-USP e no período 04/2018-03/2022 foi coordenador do PPG-MAT do IME-USP. Desde 2003 é vinculado à Sociedade Brasileira de Lógica (SBL), tendo sido presidente da SBL (mandato 07/2023-06/2025) e atualmente é 1o vice presidente (mandato 07/2025-06/2027).Tem experiência na área de Matemática, com ênfase em teoria das categorias, lógica matemática, teoria algébrica de formas quadráticas e aneis C-infinito, suas principais áreas de pesquisa e de orientações de iniciação científica, mestrado e doutorado e de supervisões de pós-doutorado.

Currículo Lattes: http://lattes.cnpq.br/3762450205090582