ROSAEC center Seoul National University
KMEST/NRF Engineering Research Center of Excellence
National Research Foundation of Korea
Korea Ministry of Education, Science and Technology


We research and develop "software MRI's".

Our efforts are driven by (but not limited to) semantic-based static analysis, programming language theories, formal methods, and corpus-based computation.

This center was created partially based on the works incubated in our predecessor, ROPAS center.



Prof. Kwangkeun Yi
(office) +82 2 880 1857
(mobile) +82 11 895 9374
(email) kwang@ropas[] (Reveal)
Programming Research Laboratory
School of Computer Science & Engineering
Seoul National University

Administration Office

Rm 202 Bldg 138, Seoul National University
1 Kwanak-ro Kwanak-gu
Seoul 151-742, KOREA
(office) +82 2 880 1528
(fax) +82 2 882 7234
(email) admin@rosaec[]
© Copyright 2008-2010 ROSAEC Center, Seoul National University