ResearchWho?
    • Profile Image
    허충길
    Position Associate Professor
    Current Department 서울대학교 공과대학 컴퓨터공학부
    프로필
    연구 성과
    개요
    Category 카테고리
    컴퓨터
    Keyword 키워드
    Software Verification
    Relaxed Memory Concurrency
    Low-level Language Semantics
    Automated & Interactive Theorem Proving
    학위[2]
    University of Cambridge
    Degree 박사 (Doctorate)
    Department Computer Science
    Date 2004 - 2009
    Advisor Marcelo Fiore
    KAIST
    Degree 학사 (Bachelor's)
    Department Mathematics and Computer Science
    Date 1995 - 2000
    경력[6]
    Seoul National University, Seoul, Korea
    Department Department of Mathematical Sciences
    Position Adjunct Professor
    Date present
    Seoul National University, Seoul, Korea
    Department Department of Computer Science and Engineering
    Position Associate Professor
    Date 2017 - present
    수상[6]
    #6. PLDI 2021 Distinguished Paper Award.
    #5. POPL 2020 Distinguished Paper Award.
    링크
    연구실
    팔로우 추천