ROSAEC Center

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

Introduction

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.

Gentle introduction to program analysis & computer science: talk video(02/04/2010, in Korean)

Contact

Director

Prof. Kwangkeun Yi
(office) +82 2 880 1857
(mobile) +82 11 895 9374
(email) kwang@ropas[.snu.ac.kr] (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[.snu.ac.kr]