고려대학교 이과대학 수학과를 졸업하며 수학의 아름 다움과 논리에 매료되었다. 이후 동 대학원 수학과에서 전산학 전공으로 석사와 박사 학위를 취득하며, 인간의 사고와 상상력이 빚어낸 수학의 논리가 어떻게 현대 컴 퓨터와 인공지능(AI)을 가능하게 만들었을까에 대해 연 구해 왔다.
현재 한국방송통신대학교 컴퓨터과학과 교수로 재직 하며, 이산수학과 선형대수 등 컴퓨터 과학의 기반이 되 는 추상적 사고 방법을 가르치고 있다. 뉴욕주립대학교, 멜버른대학교, 인디애나대학교 방문교수를 역임했고, 현재 에듀테크학회 부회장으로서 정보통신기술을 활용 한 교육 혁신에 힘쓰고 있다.
AI 시대에 배워야 할 것이 지식이 아니라 생각하는 방 법이고, 생각하는 방법은 수학으로 가능하다고 믿는 저자 는 최근 AI 시대를 맞아 수학을 포기했던 이들(수포자) 에게 수학의 본질적 가치와 생각의 기술을 전하는 데 주력하고 있다. 저서로는 『이산수학』, 『선형대수』, 『컴 퓨터의 이해』, 『정보통신망』, 『똑똑한 데이터 구조』, 『디 지털 논리회로』 등이 있다.
