1993年東京大学理学部情報科学科卒業．1997年東京大学院理学系研究科情報科学専攻博士課程中退，同専攻助手に就任． 博士(理学)．電気通信大学情報工学科講師等を経て，2005年より慶應義塾大学理工学部情報工学科准教授． 2000年度情報処理学会山下記念研究賞受賞．1999，2008，2009, 2012年度情報処理学会論文賞受賞． 2014年日本ソフトウェア科学会ソフトウェア論文賞受賞．

オペレーティングシステム，システムソフトウェア，ディペンダブルシステム
河野研究室