You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Research Fellow @ Korea Institute for Advanced Study (KIAS), Korea.
I use programming to understand, assist and formalize my pure mathematics research.