ResearchWho?
    • Profile Image
    최진영
    Position 교수
    Current Department 고려대학교(서울) 스마트보안학부
    프로필
    연구 성과
    개요
    Category 카테고리
    컴퓨터
    Keyword 키워드
    real-time computing
    formal methods
    programming languages
    process algebras
    security and secure software engineering
    Lab Name 연구실 이름
    Formal Methods Lab.
    학위[3]
    the University of Pennsylvania, Philadelphia
    Degree 박사 (Doctorate)
    Date 1993
    Drexel University, Philadelphia, PA, USA
    Degree 석사 (Master's)
    Date 1986
    경력[1]
    Korea University, Seoul, Korea
    Department School of Cybersecurity
    링크
    연구실
    팔로우 추천