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]
