Current: Professor IMPAN at the Institute of Mathematics of Polish Academy of Sciences.

(2012-2021): Assistant and Associate Professor of Mathematics at Rutgers University.

(2009-2012): NSF Postdoctoral Fellow at UCLA.

(2003-2009): PhD student at UC Berkeley.

(2000-2003): BA student at CUNY Baccalaureate Program.

• The Largest Suslin Axiom
  ▻with Nam Trang
• Hod Mice and the Mouse Set Conjecture, Memoirs of American Mathematical Society, Volume 236, Number 1111 (2015)

• Varsovian Models II. [Available here]
  ▻with Farmer Schlutzenberg and Ralf Schindler


• Ideals and Strong Axioms of Determinacy.
  ▻with Dominik Adolf, Nam Trang, Trevor Wilson and Martin Zeman


• Hjorth's reflection argument.


• A model of the Axiom of Determinacy in which every set of reals is universally Baire. [Available here]
  ▻with Paul Larsonand Trevor Wilson


• The exact consistency strength of generic absoluteness for universally Baire sets
  ▻with Nam Trang


• A characterization of extenders of HOD.


• Negative results on precipitous ideals on omega_1.


• Failures of square in Pmax extensions of Chang models, [arXiv]
  ▻with Paul Larson


• On the derived models of self-iterable universes, to appear in PAMS.
  ▻with Takehiko Gappo


• Covering with Chang models over derived models, Adv. Math. 384 (2021)


• Sealing from iterability, Trans. Amer. Math. Soc. Ser. B 8 (2021)
  ▻with Nam Trang


• An inner model theoretic proof of a theorem of Becker, accepted for publication at Archive of Mathematical Logic (2019).


• AD_R implies that all sets of reals are Theta-uB, accepted for publication at Archive of Mathematical Logic (2019).


• HOD in inner models with Woodin cardinals, accepted for publication at Journal of Symbolic Logic (2019). [arXiv]
  ▻with Sandra Müller


• HOD up to AD_R+Theta is measurable, Annals of Pure and Applied Logic, (2018),
  ▻with Rachid Atmai


• Translation procedures in descriptive inner model theory. Foundations of mathematics, 205-223, Contemp. Math., 690, Amer. Math. Soc., Providence, RI, 2017


• Varsovian Models I, accepted for publication at Journal of Symbolic Logic (2017) [Available here.]
  ▻with Ralf Schindler


• Derived models of mice below the least fixed point of the Solovay sequence, Journal of Symbolic Logic (2017), [Available here.]
  ▻with Dominik Adolf


• Square principles in P_max extensions, Israel J. Math. 217 (2017), no. 1, 231-261 [arXiv]
  ▻with Andreas Caicedo, Paul Larson, Ralf Schindler, John Steel and Martin Zeman


• Tame failures of the unique branch hypothesis and models of AD_R+Theta is regular, Journal of Mathematical Logic, 16 (2016), no 2
  ▻with Nam Trang


• The mouse set conjecture for sets of reals, Journal of Symbolic Logic 80(2015), n2, 671-683
  ▻with John Steel


• Non-tame mouse from a failure of square at a singular strong limit, J. Math. Log. 14 (2014), no. 1


• Non-tame mouse from tame failures of the Unique Branch Hypothesis, Canad. J. Math. 66 (2014)
  ▻with Nam Trang


• An inner model theory proof of the strong partition property at delta^2_1, Notre Dame Journal of Formal Logic, 55 (2014), no 4, 563-568


• Descriptive inner model theory, Bull. Symbolic Logic 19 (2013), no. 1, 1--55, 54 pages


• On the prewellorderings associated with directed systems of mice, J. Symbolic Logic 78 (2013), no. 3, 735--763


• Indestructible strong compactness but not supercompactness. Ann. Pure Appl. Logic 163 (2012), no. 9, 1237-1242
  ▻with Artur Apter and Moti Gitik


• An Equiconsistency for Universal Indestructibility, J. Symbolic Logic 75 (2010), no. 1, 314--322
  ▻with Artur Apter


• On indestructibility aspects of identity crisis, Arch. Math. Logic 48 (2009), no. 6, 493--513


• On Hod-supercompactness}, Arch. Math. Logic 47 (2008), no. 7-8, 765--768, 3 pages


• Universal Indestructibility for Degrees of Supercompactness and Strongly Compact Cardinals, Archive for Mathematical Logic 47, 2008, 133-142
  ▻with Artur Apter


• A reduction in consistency strength for universal indestructibility, Bulletin of the Polish Academy of Sciences (Mathematics) 55, 2007, 1--6
  ▻with Artur Apter


• Identity crises and strong compactness III: Woodin cardinals}, Archive for Mathematical Logic, V. 45, 2006, 3, 307--322
  ▻with Artur Apter


• Can a large cardinal be forced from a condition implying its negation?, Proceedings of the American Mathematical Society, V. 133, 2005, 10, 3103--3108
  ▻with Artur Apter


• Jonsson-like partition relations and j: V-> V, The Journal of Symbolic Logic, V. 69, 2004, 4, 1267--1281
  ▻with Artur Apter


• A theorem on Hamilton paths, Dedicated to the memory of Robert E. Sacks (Purchase, NY, 2000), Graph Theory Notes of New York, V. 40, 2001, 35--36