• 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
  • Smart Contract Security / 스마트 컨트랙트 보안
  • 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 / 지연 계산을 사용하는 함수형 언어 구현

• List of Publications

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