ResearchWho?
    • Profile Image
    양홍석
    Position 교수
    Current Department 한국과학기술원 공과대학 전산학부
    프로필
    연구 성과
    개요
    Category 카테고리
    컴퓨터
    Keyword 키워드
    프로그래밍 언어
    기계학습
    전산이론
    인공지능·정보서비스
    logic-based PL techniques
    data-driven ML techniques
    ML
    학위[2]
    University of Illinois at Urbana-Champaign: Urbana, IL, US
    Degree 박사 (Doctorate)
    Department Computer Science
    Date 1996 - 2001
    Korea Advanced Institute of Science and Technology (KAIST), Daejeon, Korea
    Degree 학사 (Bachelor's)
    Department Computer Science
    Date 1992 - 1996
    경력[6]
    Korea Advanced Institute of Science and Technology (KAIST)
    Department School of Computing
    Position Full Professor
    Date 2017 - present
    KAIST
    Position 박사 후 연구원
    수상[3]
    #3. 2016 CAV award
    Date 2016
    #2. PLDI 2014 우수논문상
    Date 2014
    링크
    연구실
    팔로우 추천