You are hereHome › Research › Research Groups › Programming Principles and Software Engineering Research Group ›
Programming Research Lab
Faculty: Kwangkeun Yi
302 Building, Room 312-2
__NOTOC__ 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.