Contact Points
Education & Professional Activities 
1983 - present, Prof. Computer Science Department,
KAIST 1978 - 1983, Computer Sciences Corporation, Silver Spring, MD, U. S. A. 1978, Ph.D., Univ. of Pittsburgh, PA, U.S.A. 1971 - 1974, Instructor, Korea Military Academy, Seoul 1971, M.S., Seoul National University 1969, B.S., Seoul National University
President, Korea Information Science
Society, 2003
Director, Digital Science Library, KAIST, Jan. 2000 - Jun. 2000
Visiting Professor at University of Maryland-College Park, Feb. 1998 - Feb. 1999
Director, Academic Information and Computing Center, KAIST, Apr. 1997 - Feb. 1998
Vice President, Korea Information Science Society, 1994
Chair, Steering Committee, Asia-Pacific
Software Engineering Conference, Jan. 1997 - Dec. 1999
Organizing Chair: Int'l Conf. Computer Processing of
Oriental Languages, Taejon, Korea,
1994
Chair, SIG Software Engineering,
Korea Information Science Society,
1992 - 1994
Governing Board, Chinese Language
Computer Society, 1992 - 1995
Conference Cochair, Joint Conf. on
Software Engineering, Fukuoka,
Japan, 1993
Editor-in-Chief, Journal of Korea Information
Science Society, 1991 - 1992
Chair, SIG Korean Language Processing
of Korea Information Science Society,
1991 - 1992
Research Interests His major research efforts are focused on automation of software testing process. More specifically, he is working on development of techniques of test specification, automated generation of test cases and test oracles for concurrent software, object-oriented software, software components and Web applications. He is also interested in defining various software metrics and quality models that will be useful for assuring the software quality. He continues working on extending Petri nets in order to apply it to requirements engineering of real time systems and exploring techniques such as software slicing, mutation analysis and formal methods to apply them to verification of highly dependable systems.
His recent research interests include
verification of real-time parallel software object-oriented technology for real-time systems quality assurance for highly dependable software
Major Projects Selected Publications Students Courses