서울대 컴퓨터 공학부 이광근 교수님을 모시고 진행한 컴퓨터 과학 특집. 2부에서는 작년 집필하신 책 – ‘컴퓨터과학이 여는 세계’를 중심으로 이야기를 풀어 나갑니다. 방송 말미에는 5년 안에 우리 앞으로 다가올 미래의 기술 – 정확한 검증(formal verification)에 대해서 살펴봅니다.