KAIST - COMPUTER SCIENCE

  • korea
  • search
  • login

Directions

강지훈

부교수

연구분야
전산이론, 시스템·네트워크
전공
동시성 및 병렬성 프로그래밍, 프로그래밍 언어, 검증
학위
PhD, Seoul National University, 2019
웹사이트
https://cp.kaist.ac.kr/jeehoon.kang/
이메일
전화번호
3578
교수연구실
E3-1, 4433
연구실
동시성 및 병렬성 연구실

강지훈은 2019년부터 KAIST 전산학부 부교수로 재직중이다. 프로그래밍 언어 관점으로 시스템을 이해하는데 주된 관심이 있다. 특히 앞으로 인공지능과 빅데이터 시대에 더더욱 중요해질, 극도로 병렬적인 작업을 수행하기 위한 동시성 프로그램을 설계하고 검증하는데 관심이 있다. 구체적으로, 다음과 같은 프로젝트를 수행중이다: (1) 인공지능과 같이 극도로 병렬적인 작업을 위한 컴파일러 설계, (2) 영속성 메모리와 같이 새로운 하드웨어를 위한 실행의미 및 라이브러리 설계, (3) 동시성 프로그램 검증 이론 개발 및 OS 검증, (4) 효율적인 하드웨어 설계를 위한 새로운 언어 개발.

강지훈은 2019년과 2013년에 서울대학교에서 박사와 학사학위를 받았다. 2017년에 PLDI 우수논문상을 받았고, 2019년에 서울대학교 컴퓨터공학부 우수학위논문상을 받았다. 강지훈은 Rust 동시성 라이브러리인 Crossbeam의 메인테이너로서 개발을 주도했고, 최첨단 AI 반도체를 설계하는 팹리스 스타트업인 FuriosaAI에서 컴파일러를 작성했다.

list