Overview
The Programming Languages Lab (PLLab) is led by two professors - Dr. Kwangmoo Choe and Dr. Taisook Han.
Our Researches
Our research topic range over
  • programming language theory
  • program verification
  • mining of program data
  • program security
  • other programming language related subjects.

Our research has been supported by
  • KOSEF(Korea Science and Engineering Foundation)
  • KMEST(Korea Ministry of Education, Science and Technology)
  • MKE(Ministry of Knowledge Economy)
  • DAPA(Defense Acquisition Program Administration)
  • the NSRI(National Security Research Institute)
  • etc
2009/10/28 01:36 2009/10/28 01:36