略歴
- 1980年 東京大学理学部情報科学科卒業
- 1982年 東京大学大学院理学系研究科情報科学専門課程修士課程修了
- 1985年 東京大学大学院理学系研究科情報科学専門課程博士課程修了
- 1985年 東京大学大型計算機センター助手
- 1986年 東京大学理学部助手
- 1991年 電気通信大学情報工学科助教授
- 1996年 東京大学大学院農学生命科学研究科助教授
- 1996年 東京大学大学院理学系研究科兼担
- 1998年 東京大学大学院農学生命科学研究科教授
- 2003年 工学院大学CPDセンター客員教授
- 2004年 東京大学大学院情報理工学研究科兼担
これまでの研究内容
数式処理計算機のアーキテクチャ、最適化Lispコンパイラ、論理シミュレーションシステム、マルチウィンドウ端末、計算機センター利用者管理システム、線形漸化式の並列計算アルゴリズム、分散オペレーティングシステム、グローバルネーミング、負荷分散の性能評価、データ一貫性制御、共有仮想メモリ、性能解析、ユーザレベルスレッド、リアルタイムオペレーティングシステムの構成法、グループメンバシッププロトコル、並列プログラミング環境、分子動力学計算の並列アルゴリズム
shimizu@bi.a.u-tokyo.ac.jp