1 만 21세 대학 학부생이 SW 오류 검증도구를 개발할 수 있는 이론적 토대를 세워 화제가 되고 있다.
2 특히 한번 수상도 힘들다는 삼성전자 휴먼테크논문상을 무려 4회나 받은 그는 현재 미국 스탠퍼드와 UC버클리, 카네기멜론, 프린스턴대학에서 모두 전액 장학생으로 입학허가를 받아 유학을 준비 중이다.
3 따라서 향후 오류 없이 SW를 개발하기란 여간 어려운 것이 아니다.