Sung-Deok Cha
       
Contact Points
cha@{cs,salmosa}.kaist.ac.kr
Computer Science Department, Korea Advanced Institute of Science and Technology
373-1, Kusong-dong, Yusong-ku, Taejon, 305-701, South Korea.
+82-42-869-3535, +82-42-869-3510 (fax)
Education & Professional Experiences
1994 - present,
Computer Science Division of Electrical Engineering & Computer Science Department
,
KAIST
1991 - 1994,
The Aerospace Corporation
, El Segundo, CA
1990 - 1991,
Hughes Aircraft Company
, Ground Systems Group, Fullerton, CA
1991, Ph.D.
Information and Computer Science
,
University of California, Irvine
1986, M.S.
University of California, Irvine
1983, B.S.
University of California, Irvine
Research Interests
Software Engineering
Software Safety
Computer Security
Formal Specification and Verification
Software Fault Tolerance
Professional Activities
(English)
(Korean)
Projects
(English)
(Korean)
Publications
Course
SE Lab Members
/
www@salmosa.kaist.ac.kr