I am actively looking for students
(undergraduate
and
graduate) who are interested in
all techniques and researches (testing,
fuzzing, abstract interpretation, static
analysis, formal verification) related to
software (distributed systems, operating
systems, and block chain) and neural network
reliability,
programming language related researches,
system
software
securities,
and machine learning model optimization
framework
techniques. 소프트웨어 (운영체제, 분산 시스템, 블록체인)및 인공 신경망 신뢰성 관련 모든 방법론 및 연구들 (테스팅, 퍼징, 요약 해석, 정적 분석, 정형 검증), 프로그래밍 언어 관련 연구, 시스템 소프트웨어 보안, 머신러닝 최적화 프레임워크 등에 관심이 있는 학부생 대학원생 분들은 연락 주세요. |
Address |
Engineering Hall #4 - D724, 50 Yonsei-ro, Seodaemun-gu, Seoul, Republic of Korea (Zip Code: 03722) |
Phone Number | +82 (2) 2123-2719 |
jieungkim _ yonsei * ac * kr (where _ is @, * is .) |
© Jieung Kim. All Rights Reserved. Designed by HTML Codex