Hyunjun Eo (어현준)  Post-Doc. of    Programming Research Lab.    School Computer Science and Engineering    Seoul National University  Member of    ROPAS: Research On Program Analysis System

Vita and Research Interests

• 2006, Ph.D. Computer Science, KAIST
• 1998, MS. Computer Science, KAIST
• 1996, BS. Computer Science, KAIST
• 1992, Graduate from Gyeongnam Science High School, 7기

Research Interests:

• multi-staged programming language,
• program analyzer generating system (Zoo),
• type system and type based program analysis,
• fixpoint iteration algorithm,
• model checking and program logic,
• run-time specialzation of static analysis.

Publications

Teaching

• CVO103, Programming Language, Fall 2006
  Graduate School of Computer and Information Technology, Korea University (Portal).