My name is Hanul Jeon (pronunciation: /hanul.dʑʌn/), and currently, I am a doctoral student at Cornell University. My advisors are Justin Moore and James Walsh. 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 Cornell mail) 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. (CV Updated: Aug 08, 2023.)