Reviewer
Conference Reviewer
STACS 2021
DLT 2020
SOFSEM 2020
ESA 2019
CIAA 2019
UCNC 2019
DCFS 2018
CIAA 2018
DLT 2017
DCFS 2017
CIAA 2017
CiE 2017
MFCS 2016
CIAA 2016
CIAA 2015
DLT 2014
UCNC 2014
Journal Reviewer
Information and Computation
International Journal of Foundations of Computer Science
Journal of Computer and System Sciences
Journal of Automata, Languages and Combinatorics
Theoretical Computer Science
Teaching Experience
Efficient Sequential Algorithms, Lecturer, Fall 2016, At University of Liverpool, Course Number: COMP309
C Programming, Lecturer, Spring 2015, At Yonsei University, Course Number: UCH1115
Algorithm Analysis, Lecturer, Fall 2014, At Yonsei University, Course Number: CSI3108
C Programming, Lecturer, Spring 2014, At Yonsei University, Course Number: UCH1115
Automata and Formal Languages, Teaching Assistant, Spring 2012, At Yonsei University, Course Number: CSI3109
Automata and Formal Languages, Teaching Assistant, Fall 2011, At Yonsei University, Course Number: CSI3109
Automata and Formal Languages, Teaching Assistant, Fall 2010, At Yonsei University, Course Number: CSI3109
Scholarships
Brain Korea 21 (BK21) Scholarship
2014.9
The Lotte Foundation Scholarship
Full Scholarship. Received four times as follows:
2010.9, 2011.3, 2011.9, and 2012.3
National Science & Technology Scholarship
Full Scholarship. Received seven times as follows:
2009.9, 2009.3, 2008.3, 2007.9. 2007.3, 2006.9, and 2006.3
Award
Best Paper Award, The 13th International Conference on Unconventional Computation & Natural Computation (UCNC 2014), 2014.7
Best Presentation Award, Korea Computer Congress 2011 (KCC 2011), 2011.11