教員紹介

河野 健二

faculty_2015_24
[ 所属 ]

慶應義塾大学

理工学部情報工学科

教授

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

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