Education Education Conference Conference Software Software Education EN Algorithm and Problem Solving 2013 알고리즘 및 문제해결 강의 Education KO Algorithm and Problem Solving 2015 알고리즘 및 문제해결 강의 Education KO Automata & Theory of Computation 2016 오토마타 및 계산이론 강의 Education KO Creative Computing 2016 컴퓨터 프로그래밍 기초 강의 Conference ISAAC 2022 The 33rd International Symposium on Algorithms and Computation Conference Bebras 2020 The 16th International Bebras Task Workshop Conference WAAC 2017 The 20th Korea-Japan Joint Workshop on Algorithms and Computation Software HiXCorr A high-speed XCorr engine for high-resolution spectra Software Progressive Search Progressive search in tandem mass spectrometry