My name is Hanul Jeon. I am currently a master’s student in Mathematics at Seoul National 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.)