• Vitae

   - Aug,2001~current, Professor, Korea Aerospace University,
   - Aug,2000~Aug,2001, Postdoctoral Researcher, ROPAS, KAIST
   - Aug,2000, Phd. Computer Science, KAIST
   - Feb,1994, MS. Computer Science, KAIST
   - Feb,1992, BS. Computer Science & Statistics, SNU

• Research Interests
  • Software Security / 프로그램 보안
  • Program Analysis based on Abstract Interpretation / 요약 해석을 사용한 프로그램 분석
  • Parallelizing Compilers based on Loop Parallelization / 반복문의 병렬화 컴파일러
  • Extracting Data Parallelism from Functional Programs / 함수형 프로그램의 병렬 수행
  • Implementation of Lazy Functional Languages / 지연 계산을 사용하는 함수형 언어 구현
  • Formal Approach to Design and Analysis of Security Protocols
  • Embedded System

List of Publications

Project Grants

   Vulnerablility Analysis for Web-based Software / 웹 기반소프트웨어 보안 취약성 분석
   Programming Environment for Ubiquitous Computing / 유비쿼터스 프로그래밍 환경
   Web Application Program Security / 웹 프로그램 내의 보안 취약성 검사
   Information Retrieval / 정보 검색