제159호(2020.04.08)
 지난호 보기    
SNUNOW 174호 (2020.12.16) SNUNOW 173호 (2020.12.02) SNUNOW 172호 (2020.11.18) SNUNOW 171호 (2020.11.04) SNUNOW 170호 (2020.10.21) SNUNOW 169호 (2020.10.07) SNUNOW 168호 (2020.09.16) SNUNOW 167호 (2020.09.02) SNUNOW 166호 (2020.08.05) SNUNOW 165호 (2020.07.08) SNUNOW 164호 (2020.06.17) SNUNOW 163호 (2020.06.03) SNUNOW 162호 (2020.05.20) SNUNOW 161호 (2020.05.13) SNUNOW 160호 (2020.04.29) SNUNOW 159호 (2020.04.08) SNUNOW 158호 (2020.03.25) SNUNOW 157호 (2020.03.04) SNUNOW 156호 (2020.02.19) SNUNOW 155호 (2020.02.05) SNUNOW 154호 (2020.01.29) SNUNOW 153호 (2019.12.18) SNUNOW 152호 (2019.12.04) SNUNOW 151호 (2019.11.20) SNUNOW 150호 (2019.11.06) SNUNOW 149호 (2019.10.23) SNUNOW 148호 (2019.10.02) SNUNOW 147호 (2019.09.18) SNUNOW 146호 (2019.09.04) SNUNOW 145호 (2019.08.21) SNUNOW 144호 (2019.08.07) SNUNOW 143호 (2019.07.17) SNUNOW 142호 (2019.07.10) SNUNOW 141호 (2019.06.26) SNUNOW 140호 (2019.06.12) SNUNOW 139호 (2019.05.29) SNUNOW 138호 (2019.05.15) SNUNOW 137호 (2019.05.01) SNUNOW 136호 (2019.04.17) SNUNOW 135호 (2019.04.01) SNUNOW 134호 (2019.02.28) SNUNOW 133호 (2019.01.30) SNUNOW 132호 (2018.12.27) SNUNOW 131호 (2018.11.29) SNUNOW 130호 (2018.10.30) SNUNOW 129호 (2018.08.30) SNUNOW 128호 (2018.07.30) SNUNOW 127호 (2018.06.29) SNUNOW 126호 (2018.05.31) SNUNOW 125호 (2018.04.30) SNUNOW 124호 (2018.03.30) SNUNOW 123호 (2018.02.28) SNUNOW 122호 (2018.01.31) SNUNOW 121호 (2017.12.29) SNUNOW 120호 (2017.11.29) SNUNOW 119호 (2017.10.30) SNUNOW 118호 (2017.09.27) SNUNOW 117호 (2017.08.31) SNUNOW 116호 (2017.07.28) SNUNOW 115호 (2017.06.30) SNUNOW 114호 (2017.05.31) SNUNOW 113호 (2017.04.28) SNUNOW 112호 (2017.03.29) SNUNOW 111호 (2017.02.22) SNUNOW 110호 이전

■ 기부소식 및 동정

컴퓨터공학부 이광근 교수, MIT 프레스(MIT Press)에서 대학원 교재 출판
2020.04.05

 

서울대 컴퓨터공학부 이광근 교수 MIT Press에서 출판된 책서울대 컴퓨터공학부 이광근 교수 MIT Press에서 출판된 책

▲ (좌측) 서울대 컴퓨터공학부 이광근 교수, (우측) MIT Press에서 출판된 책

 

정적 분석 이론과 실제를 집대성한 총괄서

서울대 공대(학장 차국헌)는 컴퓨터공학부 이광근 교수가 지난 30년간 정적분석(static analysis) 연구를 정리한 저서를 MIT출판사(MIT Press)에서 출판했다고 4월 1일 밝혔다.
 
이광근 교수의 저서 명은 ‘정적분석 입문: 요약해석 관점(Introduction to Static Analysis: an Abstract Interpretation Perspective)’(ISBN 9780262043410)이다. 정적분석기술이란 소프트웨어를 자동 분석해 소프트웨어의 실행결과를 예측하는 기술로 주요 SW의 모든 개발단계에서 폭넓게 응용되고 있다.

이 책은 정적분석기술의 일반이론, 알고리즘, 실용화기술을 모두 담고 있다. 과학기술 학설서를 전문적으로 다루는 MIT출판사(MIT Press)의 출간으로 이번 저서가 세계적으로 정적분석 분야의 주 교재로 널리 사용될 것으로 기대된다.

특히 책에서는 정적분석기술에 대해 전문 연구자 뿐 아니라 학생과 소프트웨어 개발현장의 비전문가들도 쉽게 이해할 수 있도록 소개하고 있다. 그리고 첨단 응용기술에 대한 내용도 놓치지 않고 기술되어 있어 교재, 입문 서적으로 우수하다는 평을 받고 있다.

이 교수는 "정적분석 기술은 인공지능, 우주, 자동차, 의료, 국방 등 품질 보장이 중요한 소프트웨어의 오류 자동검출 및 수정, 보안 자동검증, 최적화 검증, 뉴럴넷 검증 등에 폭넓게 응용되고 있다"며 "이 책은 정적분석기의 이론적 기초에서 부터 실제 구현기술의 기초를 모두 다루는 정적분석에 대한 총괄서"라고 소개했다.

미국 펜실베니아대에서 컴퓨터과학과 마이유 나익(Mayur Naik)교수는 추천 서평을 통해 “정적분석은 소프트웨어가 점점 더 정교해지고 복잡해지는 시대에 정적분석의 이론 및 실무 전문가인 저자가 점점 중요해지는 이 분야를 한 권의 서적으로 집대성해 주었다”고 말했다.

한편 서적 ‘정적분석 입문: 요약해석 관점(Introduction to Static Analysis: an Abstract Interpretation Perspective)’은 파리 고등사범학교(Ecole Normale Superieure) 재비에 리발(Xavier Rival)교수와 공동 집필했다. 책은 아마존 등 온라인 판매처를 통해 전세계로 판매되고 있다.

 

자료제공 : 공과대학(https://eng.snu.ac.kr/)

■ FOCUS

■ COVID-19 소식

■ 캠퍼스 주요 소식

■ 연구성과

■ 안내

■ 기부소식 및 동정