Koko Muroya (室屋 晃子)
日本語
- Tenure-track lecturer in Ochanomizu University (April 2025 — present).
- Postal address: Room 502, Faculty of Science Bldg. 3, Ochanomizu University, 2-1-1 Otsuka, Bunkyo-ku, Tokyo, 112-8610
- Email: kmuroya [at] is.ocha.ac.jp / koko.muro.m [at] gmail.com /
kmuroya [at] nii.ac.jp / kmuroya [at] kurims.kyoto-u.ac.jp / k.muroya [at] cs.bham.ac.uk / muroykk [at] is.s.u-tokyo.ac.jp
News
- [July 2026] A journal version of the FLOPS’24 paper is out!
- [April 2026] I am back at work!
- [March 2026] A paper presented in ACT 2025 has been published! This is a result of a project started in Adjoint School 2024.
- [June 2025] I will go on maternity leave.
- [April 2025] I moved to Ochanomizu University.
Research Interests
- Reliable software, in particular:
- verified equivalence of program behaviours
- verified improvement of program execution cost
- Approaches:
- comparison between program executions, using simulation notions from automata theory (or category theory)
- analysis of program execution, exploiting the technique called “critical pair analysis” from rewriting theory
- modelling of program execution, using graph rewriting
室屋 晃子（むろや こうこ）
English
- お茶の水女子大学 理学部情報科学科 テニュアトラック講師 (2025年4月 — 現在).
- 郵送先：112-8610 東京都文京区大塚2-1-1 お茶の水女子大学 理学部3号館 502室
- Email: kmuroya [at] is.ocha.ac.jp / koko.muro.m [at] gmail.com /
kmuroya [at] nii.ac.jp / kmuroya [at] kurims.kyoto-u.ac.jp / k.muroya [at] cs.bham.ac.uk / muroykk [at] is.s.u-tokyo.ac.jp
お知らせ
- [2026年7月] FLOPS’24論文の ジャーナル版 が公開されました！
- [2026年4月] 職場復帰しました。今後ともよろしくお願いいたします！
- [2026年3月] 国際会議 ACT 2025 で発表された 論文 が出版されました！前年のサマースクール Adjoint School 2024 でのプロジェクトの成果です。
- [2025年6月] しばらく産育休に入ります。
- [2025年4月] お茶の水女子大学 理学部情報科学科 に着任しました。
研究内容
- 「プログラミングの『安心』を数学で作る」研究をしています。
- プログラム同士の振る舞いが等価であること（等価性）を保証したい
- プログラムの実行コストの差を評価したい
- そのために、以下のようなステップを踏みます。
- プログラム実行を数学的にモデリングする
- 例えば、グラフ構造を動的に変更するようなシステムを利用する
- 等価性やコストの差を、数学的に証明する
- オートマトン理論・圏論・書換え理論からのアプローチ
- 様々な場面で簡便に『安心』を作れるよう、モデリング・証明の手法を改良していきます。
- より広範なプログラムに適用したい
- 証明を自動化したい