Michael Wolman's Home Page

I am a third year graduate student at Caltech studying mathematical logic and descriptive set theory. My supervisor is Alexander Kechris.

Papers

• An effective version of Nadkarni's Theorem, joint with Alexander Kechris, preprint, 2022. [pdf]
• Probabilistic programming semantics for name generation, joint with Marcin Sabok, Sam Staton and Dario Stein, Proc. ACM Program. Lang. 5, POPL, Article 11 (January 2021). [pdf, arxiv, doi]
• Abstractness of the nu-calculus in quasi-Borel spaces at first-order types, Master's thesis, 2020. Supervised by Marcin Sabok and Prakash Panangaden. [pdf, McGill library]