인물소개

외국계 IT 기업에서 OS 개발에 참여 중인 소프트웨어 엔지니어다. 가상화 기술 관련 팀에서 테크 리드를 맡고 있다. 도쿄대학교 정보이공학 석사로 대학원에서는 함수형 프로그램 검증을 연구했고 한때는 OCaml로 C 컴파일러를 만들거나 C++의 constexpr로 컴파일 시점 C 컴파일러를 만들기도 했다. 프로그램의 정당성 증명 기술이나 프로그램을 격리하는 기술 등 ‘안전한 계산’을 실현하는 방법에 관심이 있다.