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

Short Vitae


Research Interests

Current Projects


Journal Articles
Conference Articles
Domestic/Survey Articles
  • How to Formally Model Features of Network Security Protocols
    International Journal of Security and Its Applications 8(1):423-432, 2014. [Draft]
  • 콕 증명보조기에서 한 가지 변수 이름을 사용하는 노미널 방식 활용하기
    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: October 2017