email: ilkyoo [at] hufs [dot] ac [dot] kr
phone: +82-31-330-4375
address: 81, Oedae-ro, Mohyeon-eup, Cheoin-gu, Yongin-si (17035), Gyeonggi-do, Republic of Korea
office: 107 Department of Mathematics, College of Natural Sciences, Hankuk University of Foreign Studies (HUFS)
I am interested in graph theory, and in general, discrete mathematics and combinatorics. In particular, graph coloring, list coloring, and their variations. I am also interested in applying machine learning tools to solving conjectures in mathematics, and also (auto)formalization of mathematics.
Papers on arXiv | DBLP | SCOPUS | Google Scholar
Basic Science Research Program, National Research Foundation of Korea
2025/09 -- 2028/08: 168,000,000 (Korean Won) ~ $168,000 (US Dollars) for 3 years.
2018/06 -- 2023/05: 250,000,000 (Korean Won) ~ $250,000 (US Dollars) for 5 years.
2015/07 -- 2018/06: 120,000,000 (Korean Won) ~ $120,000 (US Dollars) for 3 years.
Hankuk University of Foreign Studies (HUFS), Yongin-si, Gyeonggi-do, Republic of Korea
2023.03 to present: Professor
2021.02 to 2023.01: Department Head
2020.09 to 2023.02: Associate Professor
2017.09 to 2020.08: Assistant Professor
Institute for Basic Science (IBS), Daejeon, Republic of Korea
2025.04 to present: Visiting Research Fellow, Discrete Mathematics Group (DIMAG)
Pusan National University, Busan, Republic of Korea
2017.07 to 2017.08: BK21plus post-doctoral researcher
KAIST, Daejeon, Republic of Korea
2014.06 to 2017.06: BK21plus post-doctoral researcher
University of Illinois at Urbana--Champaign, Urbana, IL, USA
2014 Ph. D. Mathematics -- Advisor: Alexandr V. Kostochka.
2014 M. S. Applied Mathematics: Optimization and Algorithms
Carnegie Mellon University, Pittsburgh, PA, USA
2010 M. S. Mathematics -- Advisor: Irina Gheorghiciuc.
2010 B. S. Mathematics
2010 B. S. Computer Science
Advice for Grad Students (Korean) | For Prospective Grad Students (English)
The Illustrated Guide to a Ph.D. | The Truth About College and Getting a Job
Elementary School Math Teaching | Why do we teach | Teach math as games | The Four Color Theorem
Comics: Mathematician | How Math Works | Academia
Travel History | Travel more! video
Cubing: WCA profile | Cubing Bio | Cubing Wiki | News-Gazette Interview
Sports: Marathon | Buggy | Ultimate Frisbee: Roku league
Math: Papers on arXiv | Google Scholar | Publication list (with slides)
수학동아 인터뷰: 수학동아 블러그 | 기타블러그 | 인터뷰 보기 (좌측 상단 잡지원본보기 클릭)