POSTECH 컴퓨터공학과/수학과 복수 전공을 한 (2014년 2월 졸업) 이원열 학생(지도 교수 박성우)이 41회 POPL (ACM Symposium on Principles of Programming Languages) 학회에  “A Proof System for Separation Logic with Magic Wand” 제목의 논문을 발표했다.

POPL 학회는 컴퓨터과학 분야에서 가장 긴 역사를 가진 학회 중의 하나로서 최고의 명성을 가지고 있으며, 이 논문은 POPL 41년 역사상 국내 대학 논문으로는 다섯번째, 순수국내대학 저자로 이루어진 논문으로는 두번째, POPL 41년 역사상 유일한 학부생 제1저자 논문에 해당된다.

논문의 내용은 소프트웨어 검증 분야에서 가장 진보된 기술인 분리논리학(separation logic)에서 10년간 난제로 남아 있는 논리적 증명 체계에 관한 것이며, 이미 상용화되기 시작한 분리논리학 기반 소프트웨어 검증 기술에서 중요한 돌파구로 인정됐다.

이원열 학생은 POSTECH 역사상 최우수 학점 4.26 으로 졸업했으며, 학부 2학년때 이미 데이타마이닝 세계 최고 학회인 ICDM (International Conference on Data Mining)에 제1저자로 논문 발표, 한국영재고 시절의 연구 결과로 국제학회 논문과 SCI 학술지 논문 한편을 이미 발표했고 삼성휴먼테크논문상을 지금까지 네번을 수상 했다.

현재, 이원열 학생은 컴퓨터과학 세계 최고 대학인 미국 스탠포드, 버컬리, 카네기멜런, 프린스턴에서 전액장학생으로 이미 박사과정 입학 허가를 받아서 2014년 가을에 미국으로 유학 예정에 있다.

[전자신문 (2014.03.27) 기사링크] http://www.etnews.com/20140327000109