授業関連

• アルゴリズム論
• 言語処理系
• システム評価設計工学特論
• ディペンダブルシステム特論
• ディペンダブルコンピューティング特論

研究

研究者情報検索より

• 耐故障システムと高信頼計算
• 関数 (型) プログラミング言語 (特に Haskell)
• 高信頼相互結合網
• 教育システム

メンバ

教授

• 金子 敬一

秘書

• 石崎 牧子

院生

• 鄭 信雨
• 朝倉 僚
• 王 乙同
• 張 珺
• 小原 悠ノ介
• 神崎 竜真
• 大和 晃旗
• 秋山 知之
• 内田 貴大
• 佐々城 真蔵
• 砂川 大弥
• 田中 寛明
• 三上 徹
• 吉澤 虎次郎

学部生

• 重村 一馬
• 白木 寛也
• 岩井 政樹
• 小野寺 大気
• 吉村柚輝
• 佐藤壮吾
• 大島慧士
• 深草涼真
• LEE MIN YI

研究生

外部研究協力者

海外

• ヤゲロニア大学(ポーランド) Bipin Indurkhya 教授
• ハノイ科学技術大学(ベトナム) Huynh Thi Thanh Binh 准教授
• ブライトン大学(連合王国) Marcus Winter 講師
• エジンバラ大学(連合王国) Kay Penny 講師

国内

• 法政大学　李 亜民 教授
• 法政大学　Nehal Hasnine 准教授
• 津田塾大学　都田 青子 教授
• 神奈川大学　Antoine Bossard 教授
• 東京成徳大学　石川 正敏 准教授
• 信州大学　平井 佑樹 准教授
• 玉川大学　田中 昂文 講師