학력

Since 1995 : Professor, Dept. of Computer Science

2010: Adjunct Professor, EECS, Washington State Univ

2002-2003: Visiting Scholar, IBM Watson Research Center and Univ. of Pennsylvania

1990, 1994: MS and Ph.D in Computer Science, KAIST

1988: BS in Computer Engineering, Seoul Nat'l Univ.

연구분야

IoT Software & Language

IoT Software

IoT Language

Android system

Software security

Program Analysis and Verification

Static program analysis

Dynamic program analysis

Formal verification of software

Automated Software Engineering

Program visualization

Automatic software testing

Secure Coding

JAVA and Internet computing

Java and Internet programming languages

Mobile Java programming environment

Internet programming model and environment

주요 연구 성과

A Study on Unified Programming Model and Automatic Code Generation for Multiple Tiered IoT Applications

A Study on Android-aware Static Analyses for Automatic Detection of Malicious Mobile Apps

A Study on Ubiquitous Programming Environment

유비쿼터스 도시 정보 서비스

A Study on Mobile Java Programming Environment

A Study on Development of Practical Analysers for Java

University Foundation Project(여자대학 기반 연구)

A new language for parallel programming environment(차세대 고급 언어 연구)

A Study on Prolog Compiler

Static Analysis of ML and Prolog Programs