
| プログラミング言語処理系 |
| ガーベッジコレクション |
| ランタイムシステム |
| 資源管理 |
| プログラミング言語処理系 | -- (現在) | / | ||
| ネットワーク侵入検知システム | -- (現在) | /科学研究費補助金 | ||
| ごみ集めの効率化 | -- (現在) | / | ||
| 継続の実装とその応用 | -- (現在) | / | ||
| メモリ-CPUトレードオフの改善手法とその応用 | -- (現在) | / | ||
| プロセスへのミクロ経済学的資源割り当て | 2011 -- 2013 | 日本学術振興会/挑戦的萌芽研究 | 2,600,000円 | |
| 通信端点における分散検知モジュールによる侵入防止機構 | 2007 -- 2008 | 文部科学省/特定領域研究 | 4,900,000円 | |
| 暗号化命令コードによるバッファオーバフロー検知システムの研究 | 2007 -- 2008 | 日本学術振興会/萌芽的研究 | 1,500,000円 | |
| 一般化したLazyな木構造に基づくWeb向けスクリプト言語の研究 | 2005 -- 2007 | 日本学術振興会/萌芽研究 | 4,000,000円 | |
| 通信端点における軽量かつ柔軟な侵入検知・防止機構の研究 | 2006 -- 2006 | 文部科学省/特定領域研究 | 2,700,000円 |
| 博士(工学) | 慶應義塾大学 |
| 1993 -- (現在) | Association for Computing Machinery |
| 1988 -- (現在) | 情報処理学会 |
| 1996 -- (現在) | 日本ソフトウェア科学会 |
| 1998 | 山内奨励賞 |
| 2020-10 -- 2021-02 | 情報理工前期特別研究II | 筑波大学 |
| 2020-04 -- 2020-08 | 情報理工前期特別研究II | 筑波大学 |
| 2020-10 -- 2021-02 | 情報理工後期特別研究 | 筑波大学 |
| 2020-04 -- 2020-08 | 情報理工後期特別研究 | 筑波大学 |
| 2020-10 -- 2021-02 | 情報理工前期特別研究I | 筑波大学 |
| 2020-04 -- 2020-08 | 情報理工前期特別研究I | 筑波大学 |
| 2020-10 -- 2021-02 | 情報システム実験B | 筑波大学 |
| 2020-10 -- 2021-02 | コンピュータサイエンス特別研究II | 筑波大学 |
| 2020-04 -- 2020-08 | コンピュータサイエンス特別研究II | 筑波大学 |
| 2020-10 -- 2021-02 | コンピュータサイエンス特別演習B | 筑波大学 |
| 2007-04 -- 2009-03 | CS専攻先導的ITスペシャリスト育成推進プログラム 実行委員会委員 | 筑波大学 |
| 2007-04 -- 2009-03 | CS専攻魅力ある大学院教育イニシアティブ実施委員会委員 | 筑波大学 |
| 1999-04 -- 2003-04 | 情報処理学会 | 会誌編集委員(書評・ニュース分野) |
| 2001-04 -- 2005-03 | 情報処理学会 | プログラミング研究会 運営委員 |
| 2001-04 -- 2005-03 | 情報処理学会 | 論文誌プログラミング 編集委員 |
| 2001-06 -- 2002-05 | 並列処理シンポジウム(JSPP2002) 会場幹事 | |
| 2002-06 -- 2003-05 | SACSIS 2003 ローカルアレンジメント共同委員長 | |
| 2002-04 -- 2006-03 | 情報処理学会 | 会誌編集委員 |
| 2005-04 -- 2009-03 | 情報処理学会 | プログラミングシンポジウム幹事 |
| 2006-04 -- 2008-03 | 情報処理学会 | プログラミング研究会 幹事 |
| 2007-12 -- 2008-05 | SACSIS2008プログラム委員 | |
| 2008-04 -- 2008-12 | 情報処理学会 | プログラミング研究会 主査 |
| 2011-06 -- (現在) | 学術情報メディアセンター | 副センター長 |
(最終更新日: 2020-08-31)