My name is Hanul Jeon (pronunciation: /hanul.dʑʌn/). I did my PhD at Cornell University from August 2021 to May 2026. My advisors were Justin Moore and James Walsh. I will begin my posdoctoral position at TU Wien Institute of Discrete Mathematics and Geometry.
I am interested in logic, including set theory, proof theory, and constructive mathematics, and my current interest is a descriptive set-theoretic structure appearing in ordinal analysis or its higher analogues.
I have accounts on Mathematics stachexchange, Mathoverflow, and Twitter. You can contact me via e-mail (through Gmail) or my Twitter account. (You may send an e-mail to my other addresses, but the reply could be delayed.)
Here is my recent curriculum vitae.