Hyunjun Eo (어현준)  Post-Doc. of    Programming Research Lab.    School of Computer Science and Engineering    Seoul National University

Vita and Research Interests

1992, Graduate from Gyeongnam Science High School, 7기, 주소록

Research Interests:

• 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

---

software / kwang / shilov / people in PL / CS Bib / research index / rank / paper dock / nML / SML / ocaml / links
upcoming conferences (SIGPLAN) / journals / kprg

---

AltaVista / Yahoo / 심마니 / google / Amazon / paran / stock / 모교사랑 / soccer / 후추 / 메뉴판 / 딴지일보
daum / intizen / 연재만화 / 가사 / 기차 / 형님 / 동생 / 붉은악마 / NATE / 음악 / TV / 사진

---

---

poisson (at) ropas (dot) kaist (dot) ac (dot) kr