My name is Hanul Jeon (pronounciation: /hanul.dʑʌn/). I graduated from Seoul National University in February 2021. 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.)