DGIST Library Repository

Researchers & Labs

All A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
전체 ㄱ ㄴ ㄷ ㄹ ㅁ ㅂ ㅅ ㅇ ㅈ ㅊ ㅋ ㅌ ㅍ ㅎ
목록
목록

 대분류를 선택해주세요.

 중분류를 선택해주세요.

 소분류를 선택해주세요.

 대분류를 선택해주세요.

 소분류를 선택해주세요.

 대분류를 선택해주세요.

 중분류를 선택해주세요.

 소분류를 선택해주세요.

Showing results 1 to 6 of 6
researcher image '김경대'

김경대Kim, Kyoung-Dae

Department of Electrical Engineering and Computer Science
Research Interests

Planning and control of autonomous systems
researcher image '김윤승'

김윤승Kim, Yoonseung

Department of Electrical Engineering and Computer Science
Research Interests

Formal verification; Interactive theorem proving; Real-time distributed systems; Programming languages
researcher image '김진영'

김진영Kim, Jin-Young

Division of Biomedical Technology
Research Interests
researcher image '예경무'

예경무Yea, Kyungmoo

Department of New Biology
Research Interests

Antibody; Engineering; Phage Display; Therapeutics; Immune; Exosome; Translational; Cytokine
researcher image '이현기'

이현기Lee, HyunKi

Division of Intelligent Robotics
Research Interests

Machine Vision; Intelligent Robot; Design of Optical Systems
researcher image '전민석'

전민석Jeon, Minseok

Department of Electrical Engineering and Computer Science
Research Interests

Designing domain-specific languages (DSLs); Developing program synthesis algorithms; Programming Languages for Software Engineering (PL4SE); Programming Languages for Machine Learning (PL4ML)
1