Antes de conseguir una cátedra como profesor asociado del Departamento de Matemáticas del ITAM, trabajé como investigador postdoctoral primero en el Centro Kurt Gödel de la Universidad de Viena, luego en el Instituto Fields, (donde obtuve el premio postdoctoral Jerrold E. Marsden durante el Programa Temático sobre Forcing y sus Aplicaciones) y finalmente en la Universidad de Toronto. Obtuve un doctorado en Lógica y Fundamentos de las Matemáticas por parte de la Universidad de Barcelona bajo la supervisión de David Asperó y Joan Bagaria.

Mi investigación en teoría de conjuntos gira alrededor de los así llamados axiomas de forcing y de su impacto sobre la aritmética cardinal. Constantemente, construyo modelos de la teoría de conjuntos donde el continuo es distinto al segundo cardinal incontable (incluyendo modelos de la Hipótesis del Continuo de Cantor).

Estoy interesado en combinatoria infinita, forcing, axiomas de forcing, aritmética cardinal, grandes cardinales, topología conjuntista, teoría Ramsey así como en algunos temas de teoría de modelos y de teoría de la recursión.