Taisook Han received his B.S. degree in electronic engineering from Seoul National University, Korea in 1976, M.S. degree in computer science from KAIST, Korea, in 1978, and Ph.D. degree in computer science from University of North Carolina at Chapel Hill, USA, in 1990. He is currently a professor in the Department of Computer Science, KAIST. His research interests include programming language theory, secure software, and analysis of embedded systems.