ResearchWho?
    • Profile Image
    박성우
    Position Associate Professor
    Current Department 포항공과대학교 컴퓨터공학과
    프로필
    연구 성과
    개요
    Category 카테고리
    컴퓨터
    Keyword 키워드
    Parallel Programming
    Deductive Software Verification
    Type Theory
    Logic in Computer Science
    Distributed computing
    Kubernetes
    Hadoop
    Apache Hive, Apache Spark
    Cloud computing
    Open source programming
    programming language theory
    학위[1]
    Carnegie Mellon University
    Degree 박사 (Doctorate)
    Department Computer Science
    Date 2005
    경력[1]
    Pohang University of Science and Technology (POSTECH), Korea
    Department Dept. of Computer Science and Engineering
    Position Associate Professor
    Date 2006 - present
    링크
    연구실
    팔로우 추천