河野　健二

コウノ　ケンジ

Kono, Kenji

理工学部情報工学科/教授

基本情報

専門

システムソフトウェア, オペレーティングシステム, ソフトウェア信頼性, インターネットセキュリティ

論文審査資格

理工学研究科における論文指導資格 : 修士/博士

略歴

経歴

1995.04 - 1997.10

日本学術振興会特別研究員 (DC1)

1997.11 - 1999.12

東京大学大学院理学系研究科情報科学専攻助手

1999.10 - 2002.09

科学技術振興事業団さきがけ研究21「情報と知」領域研究員

研究

研究概要

現在のインターネット環境は、不正攻撃やシステムの突然の停止といった脅威にさらされており、社会的インフラとしてはまだまだ脆弱である。オペレーティングシステム、仮想化技術、Linux 等の大規模ソフトウエアのバグ解析などを武器に、安全で安心して利用できる信頼性の高いインターネット環境の実現を目指している。