Hyun-Goo Kang (강현구)
Ph.D. in Computer Science
Programming Language Laboratory
Department of Computer Science
,
KAIST
373-1 Kusong-dong Yusong-gu Taejon 305-701, Korea
[
About Me
] [
Publication
] [
Activity
] [
My Wiki
] [
KPRG
KPLG
ITRC
] [
Photos
]
I have recently completed my Ph.D. dissertation entitled
a bottom-up pointer analysis using the update history
at KAIST. My advior was Prof.
Taisook Han
(former advisor : Prof.
Kwangkeun Yi
).
I am interested in the methods for improving software quality or programming productivity.
In particular, my research focuses on static program analysis techniques which can achieve this goal in the automated manner.
Program analysis
Modular (bottom-up) program analysis
Type system and type based program analysis
Abstract interpretation and software model checking
Embedded systems
Specification and verification techniques for embedded systems
Programming languages for embedded systems
SW/HW codesign techniques
Programming techniques and environments
Higher order and typed programming, object-oriented programming, script programming
Runtime-systems, virtual machine, software architecture, middleware, case tools
[
Google
S
] [
Dic
] [
RISS
] [
sym
] [
Bib Search
] [LNCS
c
,
i
] [ACM
PL
,
SE
,
E
] [Journals
1
,
2
] [
R-Index
] [
Wikipedia
,
Math
,
Word
] [
ACM dl
] [
OCaml
] [
CIL
,
Soot
] [
nML
] [
C
&
lib
] [
Java
] [
W3C
XML
] [
Hani
] [
KRF,
KOSEF,
HB
] [
Dic
] [
Daum
]
-->
