杵渕 雄樹は未踏クリエータ。

テーマ "マイクロカーネル上で動作する仮想マシン(L4VM)の開発" で2005年上期未踏本体に採択された。共同開発者は 腰前 秀成 。PMは並木 美太郎。

テーマ "TUMBLER: 組み込み向け高信頼プラットフォームの開発" で2007年I期未踏本体に採択された。共同開発者は 神田 渉 湯村 悠 香取 知浩 。PMは石川 裕。

テーマ: マイクロカーネル上で動作する仮想マシン(L4VM)の開発

PM: 並木 美太郎

共同開発者: 腰前 秀成

テーマ: TUMBLER: 組み込み向け高信頼プラットフォームの開発

PM: 石川 裕

共同開発者: 神田 渉 湯村 悠 香取 知浩

早稲田大学大学院 理工学研究科 修士課程 2005年上期時点

早稲田大学大学院 基幹理工学研究科 情報理工学専攻 博士後期課程 2007年I期時点