Ilkyoo Choi

Hankuk University of Foreign Studies · Mathematics

Information sourcenot verified yet

Ask current students about this lab

Post your question to the Career board — students who have verified their school can answer under blind identities.

Professor

Prof. 최일규

About

최일규 교수 연구실은 한국외대 수학과 소속으로, 그래프 이론(graph theory)과 조합론, 이산수학을 연구한다. 그래프 채색(graph coloring)과 리스트 채색 및 그 변형을 주로 다루며, 머신러닝을 활용한 추측(conjecture) 증명과 수학의 형식화(formalization)에도 관심을 두고 있다. University of Illinois at Urbana-Champaign에서 이학박사 학위를 받았다.

Research keywords

그래프 이론조합론이산수학

Selected publications

A lower bound on the number of edges in DP-critical graphsJournal of Combinatorial Theory, Series B · 2026
Proper conflict-free coloring of sparse graphsDiscrete Applied Mathematics · 2025
Brooks-type theorems for relaxations of square coloringsDiscrete Mathematics · 2025
Relaxation of Wegner's Planar Graph Conjecture for maximum degree 4Discrete Applied Mathematics · 2024
The list version of the Borodin-Kostochka Conjecture for graphs with large maximum degreeDiscrete Mathematics · 2023
Tight bound for independent domination of cubic graphs without 4-cyclesJournal of Graph Theory · 2023

Other labs in this department

See all labs in this department