Major 

Compiler, Programming Languages
 
 
 Research Interests

abstract machines for lazy functional languages
memory subsystems for language processors
  
 
 Education 

B.A. (computer science) Korea Advanced Institute of Science and Technology
M.S. (computer science) Korea Advanced Institute of Science and Technology
Ph.D. (computer science) Korea Advanced Institute of Science and Technology
 
 
 Selected Publications 
  KyungWoo Kang and Gyun Woo, A Resource Selection Scheme for Grid Computing System META, Lecture Notes in Computer Science, Vol. 3251, pp. 919-922, Oct. 2004.
Gyun Woo and Taisook Han, ZG-machine: A Space Efficient G-Machine, In Proceedings of the 1st Scottish Functional Programming Workshop, pp. 377-386, Aug. 1999.
Gyun Woo and Taisook Han, Compressing the Graphs in the G-machine by Tag-Forwarding, Journal of Computing and Information, 3(1), pp. 112-138, 1998.
  
 
 Professional Experiences 

1993 - 1997 Research Assistant and Teaching Assistant, Dept. of Computer Science, KAIST
2000 - 2002 Full-time Lecturer, Division of Electrical, Electronic, and Computer Engineering, Dong-A University
2002 - 2004 Assistant Professor, Division of Electrical, Electronic, and Computer Engineering, Dong-A University
since 2004 Assistant Professor, Department of Computer Science and Engineering, Pusan National University
  
 
 Professional Societies & Activities 

Executive Committee, SIGPL KISS
Memberships: KISS, SIGPL KISS
  
 
 Honors and Awards 

  
 
 International Joint Research & Activities