My name is Hanul Jeon (pronunciation: /hanul.dʑʌn/), and currently, I am a doctoral student at Cornell University. My advisor is Justin Moore. I am interested in logic, including set theory, proof theory, and constructive mathematics.
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.)