Programming Research Lab

Faculty: Kwangkeun Yi
302 Building, Room 312-2
(02) 880-1865

Our research position is to aggressively adopt recent progress in programming language theories into a set of advanced yet practical programming tools and environments. The major thrust for promoting the potential synergy between the language theoreis and programming tools comes from our focus on semantic-based static analysis.