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
Our research has been supported by
- 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
글