My name is Hanul Jeon (pronunciation: /hanul.dʑʌn/), and currently, I am a doctoral student at Cornell University. I am interested in logic, especially set theory and constructive mathematics.
I have accounts on Mathematics stachexchange, Mathoverflow and Twitter. If you want ask to me, please contact me via my e-mail or my Twitter account.
Here is my recent curriculum vitae. (CV Updated: December 22, 2020.)