서울대학교 전기정보공학부 학사 (졸), 서울대학교 컴퓨터공학부 석사 (재)