ResearchWho?
    • Profile Image
    배경민
    Position Associate Professor
    Current Department 포항공과대학교 컴퓨터공학과
    프로필
    연구 성과
    개요
    Category 카테고리
    컴퓨터
    Keyword 키워드
    Software Verification
    Automated Reasoning
    Computational Logic
    Formal Methods
    Software Engineering
    학위[2]
    University of Illinois at Urbana-Champaign, Urbana, IL
    Degree 박사 (Doctorate)
    Department Computer Science
    Date 2007 - 2014
    Korea Advanced Institute of Science and Technology (KAIST), Daejeon, Korea
    Degree 학사 (Bachelor's)
    Department Computer Science and Mathematics (double major)
    Date 2000 - 2004
    경력[5]
    POSTECH
    Department Department of Computer Science and Engineering
    Position Assistant/Associate professor
    Date 2016 - present
    SRI International
    Department Computer Science Laboratory
    Position Postdoctoral researcher
    Date 2015 - 2016
    수상[4]
    #4. Chirag Foundation Fellowship, UIUC, 2007 ~ 2008
    #3. Best Paper Award, FACS
    Date 2017
    링크
    연구실
    팔로우 추천