国内で初めてプログラム科目を開拓した。院士候補、教授、博士の肩書きを持つ。１９６６年に金日成総合大学数学力学部を卒業し、母校の教壇に立ちながら、コンピューターの発展の趨勢に沿ってプログラムの研究を行った。