1996년 히타치 제작소에 입사한 관리연구원이자 공학박사다. AI 제품 품질 보증 컨소시엄(QA4AI) 운영 부위원장 겸 로고 디자인 담당이며, 머신러닝 품질 관리 검사위원회(AIQM) 위원이다. 전문 분야는 소프트웨어 공학이고, 《AIビジネス?略(AI 비즈니스 전략)》(情報機構, 2020)을 공동 저술했다. 취미는 사용하지도 않는 그림 도구 수집과 저렴한 제품으로 밤하늘 촬영하기다.
특임교수를 지냈다. 전문 분야는 소프트웨어 공학과 정형 기법이다. 저서로는 《Bメソッドによる形式仕?記述(B 메서드에 의한 정형 기법)》(2007), 《Event-B Refinement》(이상 近代科?社, 2015) 등이 있다. 취미는 추리소설 읽기와 산속 온천 탐방이며, 최근에는 플라이 낚시를 익히고 있다.
일본 오사카대학교 대학원(정보공학과)에서 공부하고, 1997년부터 선문대학교 컴퓨터공학과 교수로 재직 중이다. 저자의 대학원 선배이자, 20년지기 친구로 이 책을 한국어로 옮기고, 한국의 프로프래밍 교육 현황 등에 대한 내용을 집필했다. 국방대학교 외래강사, 충남테크노파크 겸임교수, 아일랜드국립대학 객원연 구원 등을 역임하며 프로그래밍 연구를 계속하고 있다.