菅谷 みどりは未踏クリエータ。

テーマ "ロバストな組み込み向けオペレーティングシステム" で2003年未踏本体に採択された。共同開発者は 小林 宣幸 岩崎 匡寿 松浦 杏子 追川 修一 鈴木 裕介 。PMは中島 達夫。

テーマ: ロバストな組み込み向けオペレーティングシステム

PM: 中島 達夫

共同開発者: 小林 宣幸 岩崎 匡寿 松浦 杏子 追川 修一 鈴木 裕介

早稲田大学大学院 理工学研究科 2003年時点

横浜国立大学大学院／日本科学技術振興機構 CREST 2011-09-02時点

横浜国立大学 2013-01-11時点

芝浦工業大学 工学部 情報工学科 教授　2021年9月時点

講演: 夏のプログラミング・シンポジウム2011「究極のGCに向けて」 2011-09-02

講演: 第54回プログラミングシンポジウム「ポスター発表 保証ケースにもとづく品質管理されたスクリプト処理系」 2013-01-11