안준선

sslab_wiki
Root (토론 | 기여)님의 2025년 3월 13일 (목) 15:37 판 (새 문서: * 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 / 요약 해석을...)
(차이) ← 이전 판 | 최신판 (차이) | 다음 판 → (차이)
둘러보기로 이동검색으로 이동
  • 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 / 정보 검색
원본 주소 "http://jupiter.kau.ac.kr/index.php?title=안준선&oldid=7"