Software Foundations Laboratory
Department of Computer Science and Engineering
Seoul National University
Email: sunghwan.lee (at) sf.snu.ac.kr
Tel: +82 (0)2 880 1865
Address: Room 312-2, Building 302, 1 Gwanak-ro, Gwanak-gu, Seoul, Korea (PO. 08826)