|
  |
KMEST/NRF Engineering Research Center of Excellence
National Research Foundation of Korea
Korea Ministry of Education, Science and Technology
National Research Foundation of Korea
Korea Ministry of Education, Science and Technology
Introduction
We research and develop "software MRI's".- Proposal presentation slides (PDF, in Korean)
- Proposal short summary (PDF, in Korean)
- Presentation slides at evaluation board for phase-I(09/2008 - 11/2011) (PDF, in Korean)
- Presentation slides at the final evaluation board for phase-I & II (PDF, in Korean)
- Final evaluation comment (in Korean)
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 University1 Kwanak-ro Kwanak-gu
Seoul 151-742, KOREA
(office) +82 2 880 1528
(fax) +82 2 882 7234
(email) admin@rosaec[.snu.ac.kr]
This will be shown to users with no Flash or Javascript.