HOME / 교육연구단 구성 / 참여교수 정보
BK21 참여교수 정보
| 사진 | 성명 | 연구분야 | 연구실 |
|---|---|---|---|
 |
강민석 | 데이터 시각화 및 분석, 책임 있는 인공지능, 인간-컴퓨터 상호작용 | 휴먼-데이터 인터랙션 |
 |
김대현 | 휴먼-컴퓨터 인터랙션, 휴먼-데이터 인터랙션, 휴먼-AI 인터랙션, 데이터 시각화, 멀티모달 인터랙션, 메타버스 | 휴먼-데이터 인터렉션 |
 |
김선주 | 컴퓨터 비전, 컴퓨터 그래픽스, 계산영상학, 머신러닝 | 계산영상 |
 |
김영석 | 컴퓨터 아키텍처, 시스템 소프트웨어, 프로세서 성능 모델링 및 스케줄링, GPU 기반 병렬화, FPGA 기반 하드웨어 가속 | 하이퍼포먼스컴퓨팅플랫폼 |
 |
김지응 | 프로그래밍 언어 이론, 정형 검증, 시스템 소프트웨어 신뢰성, 인공신경망 신뢰성 | 정형 컴퓨팅 및 인공지능 |
 |
박광현 | 데이터 중심 인공지능, DBMS for ML lifecycle, ML 기반 DBMS 최적화, 빅데이터 시스템, 클라우드 시스템, 하드웨어-데이터 플랫폼 co-design | 빅데이터시스템&AI |
 |
박상현(교육연구단장) | 비디오 이상치 탐지, 데이터베이스 튜닝, 시계열 예측, 인공지능 기반의 신약 개발, 강화학습 | 데이터공학 |
 |
박영준 | 딥러닝 컴파일러, GPU/NPU/PIM 대상 시스템 SW 최적화, 인공지능 가속기 설계 및 컴파일러 지원 | 시스템 최적화 |
 |
벅스텔러 번트 | 블록체인, 멀티코어 및 GPU 병렬화, PIM, 고레벨 언어 메모리 모델, 컴파일러 및 가상 머신 | ELC |
 |
송도경 | 시스템 보안, 운영체제 보안, 바이너리 역공학, 프로그램 분석, 기밀 컴퓨팅 | 시스템 보안 |
 |
안형찬 | 알고리즘 설계, 조합 최적화, 근사 알고리즘, 온라인 알고리즘, 이론 컴퓨터과학 | 최적화및응용 |
 |
이경우 | 소프트 에러, 신뢰성, 결함 감내성, 사물인터넷 및 머신러닝 기반 의료서비스, 인공신경망 가속기 | 디펜더블컴퓨팅 |
 |
이경호 | 지식 그래프, 그래프 표현 학습 및 추론, 추천 시스템, 대화 모델 | 인터넷컴퓨팅 |
 |
이병주 | 인간-컴퓨터 상호작용, 사용자 인터페이스, 입력 테크닉, 인터페이스 설계 최적화, E스포츠 | 고성능 HCI |
 |
이봉신 | 휴먼-데이터 인터랙션, 휴먼-컴퓨터/AI 인터랙션, 데이터 시각화, 포용적인 데이터 경험 | 휴먼-데이터 인터렉션 |
 |
이수경 | 사물인터넷, 엣지컴퓨팅, 자율주행차량 통신, 지능형 IoT 서비스, 분산 네트워킹, 6G 무선 통신 | 무선네트워킹 |
 |
이원석 | 빅데이터 분석, 스트림 자율 학습, 재현데이터 처리, 영상 인식, 클라우드-엣지 | 데이터베이스 |
 |
이인권 | 컴퓨터 그래픽스, 가상 현실, 감성 컴퓨팅, 음악 기술, 인간-컴퓨터 상호작용 | 컴퓨터그래픽스 |
 |
이진규 | 실시간 스케줄링, 머신러닝의 실시간성 지원, 배터리 성능 향상 SW, 모바일 시스템 | 실시간 컴퓨팅 |
 |
정진규 | 운영체제, 스토리지 시스템, 클라우드 컴퓨팅, 머신 가상화, 모바일 시스템 | 시스템 소프트웨어 |
 |
조성배 | 하이브리드 딥러닝, 뉴로-심볼릭 결합 인공지능, Trustworthy AI, 딥러닝 응용 | 소프트컴퓨팅 |
 |
차호정 | 운영체제, 모바일 컴퓨팅, On-device AI, Batteryless 시스템, 기계학습 기반 시스템 최적화 | 모바일임베디드 |
 |
한동준 | 분산/연합학습, 온디바이스 AI, 신뢰가능한 AI, 효율적인 AI, 무선 네트워크 | 엣지인공지능 |
 |
한승재 | 클라우드-엣지 컴퓨팅, 사물인터넷, 실내 위치 예측, 분산학습, 딥강화학습 | 모바일네트워킹 |
 |
한요섭 | 계산이론, 오토마타, 알고리즘, 정보검색, 자연어 처리, 뉴럴-심볼릭 연산 | 계산이론 |