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