メンバー
指導教員
松原 克弥 教授
博士（工学）
研究内容
システムソフトウェアと呼ばれる低レイヤのソフトウェアを研究しています。代表的なシステムソフトウェアは、オペレーティングシステムです。インターネットワーキング、スマートフォンや液晶テレビなどの情報家電、クラウドコンピューティングなどの新しいITインフラの登場には，オペレーティングシステムなどのシステムソフトウェアにおけるイノベーションが必ず伴っています。
現在、組み込みシステム向けのシステムソフトウェアと仮想化技術に興味があり、LinuxおよびBitVisorというオープンソースをベースとした研究開発を行っています。
リンク
博士（後期）課程
中田 裕貴
博士（後期）課程3年、社会人学生（さくらインターネット株式会社）
研究内容
WebAssemblyを活用したクラウド、エッジコンピューティング向けアプリケーションランタイムに関する研究
リンク
藤井 大悟
博士（後期）課程1年
研究内容
ランタイム中立なWebAssemblyチェックポイント・レストア機構の実現
博士（前期）課程
岩崎 誠也
情報アーキテクチャ領域・博士（前期）課程2年
研究内容
分散協調OSプロビジョニング実現に向けたP2P型ディスクキャッシュ共有機構
坂本 光太郎
高度ICT領域・博士（前期）課程1年
研究内容
異種OS機能連携によるセキュアコンテナを対象とした安全なシステムコール代理実行機構
梶村 拓斗
高度ICT領域・博士（前期）課程1年
研究内容
並行Wasmアプリケーションを対象としたチェックポイント・レストア機構
学部
森田 理央
高度ICTコース・4年
中村 碧那
高度ICTコース・4年
村松 良祐
高度ICTコース・4年
遠山 楓
情報システムコース・4年
生田 立樹
情報システムコース・4年
ディオガーディ ディラン基暉
複雑系コース・4年
Alumni
2026年3月卒
博士（前期）課程修了
- 齊藤 優月: ランタイム中立なWebAssemblyチェックポイントを活用したクラウド高可用性機能
- 坂口 颯麻: 異種OS機能連携によるセキュアコンテナ・ネットワーキング機構の実現
- 中村 碧: 空港手荷物受取所の UX 向上を目指した拡張現実型情報提示システム
学士課程卒業
- 松原 僚亮: クラウド・エッジ連携を想定した軽量通信プロトコル実装 Zenoh-Picoの評価
2025年3月卒
博士（前期）課程修了
- 鈴木 進太郎: 異種OS機能連携によるセキュアコンテナの実現
- 伊藤 晋梧: ネットワークブートを対象としたP2P型ネットワークストレージ機構の評価
- 石本 直也: 実アプリケーションを用いたクラウドロボティクス向け制御ソフトウェア基盤の評価
学士課程卒業
- 武藤 恵理也: 悪性 USB デバイスを用いた物理的不正アクセスへの対処手法に関する研究
- 川平 覚士: 無線通信を想定したロボット制御ミドルウェアmicro-ROSの通信機構に関する評価
- 西 侑亮: 未来大クラウドシステムにおけるIaC対応によるVM管理の効率化
- 木田 至音: WebAssembly ライブマイグレーション機構における小型デバイス対応に関する研究
- 酒井 佑馬: WebAssembly ライブマイグレーションにおけるランタイム管理外状態の効率的な移送に関する研究
2024年3月卒
博士（前期）課程修了
- 森川 太斗: 広域に分散したIoTデバイス群を対象とした非集中型ネットワークブート機構
- 熊谷 峻: コンパクトさと実環境志向を両立するOSプロビジョニング・テストベッド
学士課程卒業
- 中川 匠海: 学生向け学務情報のシステム透過なオープンデータ化
- 池田 呼人: 空港手荷物受取所のUX向上を目指した拡張現実型情報提示サービス
2023年3月卒
博士（前期）課程修了
- 吉川 綾乃: デジタル画像の流通に適した非集中型コンテンツストレージに関する研究
- 瀧本 恒平: 実機を用いたロボット制御プログラミング学習に適したVOD型e-Learningシステム
- 大野 和也: 分散型ロボット制御システムにおける機能モジュール間通信機構の最適化
学士課程卒業
- 伊藤 璃音: ユーザ透過なP2P型Webアーカイブを実現するWebクローラ
- 柿本 翔大: クラウド連携を対象としたアーキテクチャ中立なROSランタイムの実現
- 吉田 龍信: WebAssemblyサンドボックスを用いた超軽量コンテナの実現
- 村上 光: 連合学習処理における通信ネットワーク状況の影響分析
2022年3月卒
博士（前期）課程修了
- 林 友佳: マイクロサービス型システムを対象とするシステム状態監視ツールの設計
学士課程卒業
- 菅 文人: クラウドロボティクスにおける異種デバイス間タスクマイグレーション機構
- 渡邊 慎太郎: モブプログラミング形式によるロボット制御プログラミング学習
- 工藤 大山: ボランティア型クラウドコンピューティング基盤の構築手法に関する研究
- 山田 咲太朗: TCP ネットワークコネクションのライブマイグレーション実現手法
2021年3月卒
博士（前期）課程修了
- 雫石 卓耶: リソース消費量に着目したLinux Kernel 構成の効率的な調整手法
学士課程卒業
- 宮越 七菜: マイクロサービス型システムの監視に適したデータベースの検討
2020年3月卒
博士（前期）課程修了
- 深谷 健太: 分散協調OSプロビジョニング実現に向けたカーネルレベルP2P型キャッシュ機構の実現
- 永井 陽太: 散在する余剰計算資源を活用したアドホッククラウド・システムの実現手法
- 髙川 雄平: サービス可用性を改善するための異種OS間プロセスマイグレーションの活用とその実現
- 森田 錬: ロボット制御用ミドルウェアにおけるエッジ自律制御を想定した通信機構の最適化
学士課程卒業
- 山口 賢登: 移動空間内での使用を想定したモバイル向けマーカーレスAR実現手法の検討
2019年3月卒
学士課程卒業
- 佐藤 敦也: 学習済みモデルが持つ推論機能に対するアクセス制御の実現
- 高橋 大輔: 実稼働分散システムを対象とした対話型耐故障性評価ツールの実現
- 橋場 保鷹: 協調型プロファイリングを用いたJavaScript Engineの最適化
2018年3月卒
学士課程卒業
- 源 啓多: 実践的な情報システム基礎教育のためのCTF作問支援システム