안준선 문서 원본 보기


* 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 / 정보 검색