설명: 설명: 설명: 설명: 설명: C:\Users\taisook\Desktop\삼성바탕화면\HAN_homepage\han.jpg

KAIST

Department of Computer Science

Taisook Han

Contact  Point

Surface Mail : 373-1 Guesung-dong, Yusung-gu, Daejeon, 305-701, Korea
Phone : +82-42-350-3533
Fax : +82-42-350-3510
email : han@cs.kaist.ac.kr

Education

1990 : Ph.D in Computer Science
          University of North Carolina at Chapel Hill
1978: M.S. in Computer Science
          Korea Advanced Institute of Science Techology
1976 : B.S. in Electronic Engineering
          Seoul National University

Courses Teaching

Fall 2012: CS520 Theories of Programming Languages

Fall 2012: CS101 Introduction to Programming (Python Programming)

Spring 2012: CS220 Programming Principles

Spring 2012: SEP502 Introduction to Software Systems

Spring 2012: CS101 Introduction to Programming (Python Programming)

Experience

Societies and Affiliations

Member of

Publications

Referred Journal Publications

Referred Conference Publications

Referred Domestic Journal Publications (Korean)

         Dynamic Analysis of Virtualization-Obfuscated Binary Executables. Joonsoo Jeson and Taisook Han. Journal of KIISE: Software and Applications, vol. 40(1), pp61-71, January 2013. [PDF]

         Specification of Environment Properties for Simulation of Reactive Systems. Joonhyung Hwang, Jeong-Han Yun, and Taisook Han. Journal of KIISE: Software and Applications, vol. 39(7), pp593-603, July 2012. [PDF]

         Improvement of Confidentiality for Script Applications using HW Cryptography Functions. Changki Choi and Taisook Han. Journal of KIISE: Computing Practices and Letters, vol. 18(4), pp259 - 265, April 2012. [PDF]

         Syntax-driven Automata Generation for Esterel. Chul-Woo Lee, Chul-Joo Kim, Jeong-Han Yun, Taisook Han, and Kwang-Moo Choe. Journal of KIISE: Computing Practices and Letters, vol. 16(11), pp1136 - 1140, November 2010.

         Reducing False Alarms in Schizophrenic Parallel Synchronizer Detection for Esterel. Jeong-Han Yun, Chul-Joo Kim, Seonggun Kim, and Taisook Han. Journal of KIISE: Software and Applications, vol. 37(8), pp647-652, August 2010.

         Plagiarism Detection Using Dependency Graph Analysis Specialized for JavaScript. Shin-hyong Kim, and Taisook Han. Journal of KIISE: Software and Applications, vol. 37(5), pp394-402, May 2010.

         New Schizophrenia Patterns on Esterel caused by Control/Data Signals. Jeong-Han Yun, Chul-Joo Kim, Seonggun Kim, Kwang-Moo Choe, and Taisook Han. Journal of KIISE: Software and Applications, vol. 37(4), pp311-316, April 2010.

         Synthesizable Interface Verification for Hardware/Software Co-verification. Jaeho Lee, Taisook Han, and Jeong-Han Yun. Journal of KIISE: Software and Applications, vol. 37(4), pp323-339, April 2010.

         Software Montage: Filtering of Detecting Target of Similar Software for Digital Forensic Investigation. Heewan Park, and Taisook Han. Journal of KIISE: Computing Practices and Letters, vol. 16(4), pp497-8501, April 2010.