프로그래밍 시스템 연구실(허기홍 교수)

Posted by gsis

KAIST 전산학부/정보보호대학원 허기홍 교수님

안전하고 신뢰할 수있는 소프트웨어를 위한 차세대 프로그래밍 시스템 : 프로그램 분석, 프로그램 합성·변환 및 기계 학습
https://kihongheo.kaist.ac.kr/

Share on Social Media