Gyesik Lee's Homepage

Associate Professor
Dept. of Computer Engineering, Hankyong National University
Address: 2nd Engineering Bldg (Room 407), Hankyong National University,
              327 Jungang-no, Anseong-si, Kyonggi-do. 456-749 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
    Ph.D. thesis
    Master thesis

    Last modified: April 2015