안준선: 편집 역사

sslab_wiki
둘러보기로 이동검색으로 이동

차이 선택: 비교하려는 판의 라디오 버튼을 선택한 다음 엔터나 아래의 버튼을 누르세요.
설명: (최신) = 최신 판과 비교, (이전) = 이전 판과 비교, 잔글= 사소한 편집

2025년 3월 13일 (목)

  • 최신이전 15:372025년 3월 13일 (목) 15:37 Root 토론 기여 1,184 바이트 +1,184 새 문서: * 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 / 요약 해석을...