En 2008, il est Gödel Lecturer avec une conférence intitulée The Continuum Hypothesis, the Ω Conjecture, and the inner model problem of one supercompact cardinal[4].
En 2013, il reçoit la médaille Hausdorff pour ses articles Suitable extender models I (J. Math. Log. 10 (2010), no. 1-2, pp.101–339) et Suitable extender models II: beyond omega-huge (J. Math. Log. 11 (2011), no. 2, pp.115–436)[6].
Travaux
Il a travaillé sur la Ω-conjecture(en) et l'hypothèse du continu, avec le résultat suivant : « Si la Ω-conjecture est vraie, alors l'hypothèse du continu est essentiellement fausse[7]. ».