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