[ÇкλýÀ» À§ÇÑ ¿¬±¸½Ç ¼Ò°³]
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:
Program analysis and semantic manipulation
Program verification and logical approach
Software security
Industrial programming environments
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
People :
Seungcheol Shin
,
Sanghoon Rho
,
Yongsoo Lim
,
Sungmin Kim
,
Chungseok Kwak
,
Clementine Nyirarugira
Alumni :
Suho Lee
,
Soon Hee Cho
,
Eun Hee Kim
,
Se-Heak Ryu
,
Sung Kwon Choi
,
Seok-Sang Seo
,
Yongho Kim
,
Minhyuk Kwon
Activities
Research Wiki
(don't click; only for local)
Copyright ¨Ï 2000-2009 PLLAB All rights reserved.