[korean]

Programming Research Laboratory

Research Areas

We research on fundamental technologies for safe and reliable software:

Introduction to our research

Software Releases

Research Projects