프로그래밍언어 연구실 Programming Languages Laboratory

A Good Programming Language is a Conceptual Universe

for thinking about Programming. -- Alan Perlis (1922 - 1990)

General Description

The detailed topics of research can include the followings but not limited:

You can feel free to contact here if you would like to join us for programming languages and software security research.

Software

Some of research products are as follows:

Whimori : a pervasive control programming environment for PLC IEC61131-3
Dodri : a practical toolset for program analysis and transformation of C like programs

Inside

Research Wiki(don't click; only for local)