류석영 직위 겸임교수 사무실 기타 E3-5, 304호 연락처 3538 주요 연구 Research Area Computing Theory, Software Design 이메일 sryu.cs@kaist.ac.kr 웹사이트 https://plrg.kaist.ac.kr/ 디비전 division
