組織
- 国立情報学研究所
- 先端ソフトウェア工学・国際研究センター（GRACEセンター）
- 東京大学大学院 情報理工学研究科 コンピュータ科学専攻・創造情報学専攻 本位田研究室
- 早稲田大学大学院 理工学研究科 深澤研究室
プロジェクト・活動
- トップエスイープロジェクト
- NPO法人トップエスイー教育センター
- ディペンダブル・システムのための形式手法の実践ポータル（形式手法実践ポータルから移転・統合）
- 電子情報通信学会 情報・システムソサイエティ サービスコンピューティング時限研究専門委員会
© Fuyuki Ishikawa, National Institute of Informatics, Japan, 2007-