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.