Gyesik Lee's Homepage

Assistant Professor
Dept. of Computer & Web Information Engineering, Hankyong National University
Address: I-dong 401, 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


Current Events

  • CPP 2013 (PC member)
  • Research Interests

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

  • In theory: Type theory, proof theory, reverse mathematics focusing on providing theoretical basis.
  • In practice: Formalization on top of Coq, Poplmark challenge, theorem provers, etc.
  • Projects


    Ph.D. thesis
    Master thesis

    Last modified: April 2013