Licenciado em Matemática pelo Instituto de Matemática e Estatística/USP (1995), possui mestrado em Matemática pelo Instituto de Matemática e Estatística/USP (1998, orientador Prof. Dr. Stavros Christodoulou) e doutorado em Matemática pelo Instituto de Matemática e Estatística/USP (2004, orientadora Profa. Dra. Lucia Renato Junqueira). Atualmente é professor associado da Universidade Federal da Bahia. Esteve em  afastamento para estágio pós-doutoral no Instituto de Matemáticas da UNAM, México, Campus Morelia (maio 2010 a fevereiro 2011), trabalhando  sob a supervisão do Dr. Michael Hrusák. Atua na área de Matemática, com ênfase em Teoria dos Conjuntos e Topologia Conjuntística, atuando principalmente nos seguintes temas:  propriedades topológicas definidas em termos de coberturas abertas, propriedade (a), resultados de consistência e independência, pequenos cardinais, cardinais inacessíveis, invariantes cardinais, funções cardinais, combinatória infinitária, Axioma da Escolha e proposições relacionadas, Hipótese do Contínuo e Axioma de Martin. Em 2011 foi eleito membro da diretoria da Sociedade Brasileira de Lógica (para o triênio 2011-2014) e também foi indicado como membro do Comitê Editorial da Revista Matemática Universitária da SBM (na posição de editor associado). Em 2014 foi reeleito membro da diretoria da Sociedade Brasileira de Lógica (para o triênio 2014-2017). Esteve em visita científica à Universidade de Barcelona entre Dezembro de 2014 e Fevereiro de 2015, com o apoio do Projeto MaToMUVI (European FP7-IRSES/Marie Curie GA-2009-247584), trabalhando em colaboração com o Dr. Joan Bagaria.

Ramal:
6273
Sala:
266
Linha de pesquisa
Lógica, Conjuntos e Topologia – IME/UFBA
Grupos de pesquisa
Grupo de Álgebra da UFBA ( GAU )
Grupo de Pesquisa em Lógica, Conjuntos e Topologia
Publicações
Luzin gaps are not countably paracompact
Closed products of sets and the Axiom of Choice
A topological statement and it’s relation to certain weak choice principles
A note on closed discrete subsets of separable (a)-spaces
(a)-Spaces and selectively (a)-spaces from almost disjoint families
Preprint: Two infinite families of equivalences of the continuum hypothesis
Preprint: Selectively (a)-spaces from almost disjoint families are necessarily countable under a certain parametrized weak diamond principle