Associate Professor
Dept. of Computer Science and Engineering, Hankyong National University
Address: 2nd Engineering Bldg (Room 407), Hankyong National University,
              327 Jungang-no, Anseong-si, Gyonggi-do. 17579 South Korea
Email: gslee [at] hknu [dot] ac [dot] kr
Tel.: +82-31-670-5354



Research Interests and Projects

My research interests are mainly focused on logic and formal methods.

  • In theory: Type theory, proof theory, reverse mathematics, constructive analysis
  • In practice: Formal methods, Coq, Poplmark challenge, interactive theorem provers
  • Drafts


    Journal Articles
    Conference Articles
    Domestic/Survey Articles
    • 콕 증명보조기에서 한 가지 변수 이름을 사용하는 노미널 방식 활용하기
      Joint work with Hyeon-Suk Na.
      정보과학회논문지: 소프트웨어 및 응용 40(11), 2013. [Draft]
    • A Note on Kruskal's Theorem
      Joint work with Hyeon-Suk Na.
      Korean Journal of Logic 15(3):307-321, 2012 [Draft]
    • 프로그래밍 언어 메타이론의 정형화 및 변수 묶기
      정보과학회논문지: 소프트웨어 및 응용 35(12), 2008. [Draft]
    Ph.D. thesis
    Master thesis

    Last modification: March 2016